ide;CodeEditor; (#1015) update margin type/size in all (new file, save as format...
[sdk] / ide / src / designer /
drwxr-xr-x   ..
-rw-r--r-- 266412 CodeEditor.ec
-rw-r--r-- 3812 CodeObject.ec
-rw-r--r-- 8637 Designer.ec
-rw-r--r-- 69371 Sheet.ec
-rw-r--r-- 5293 ToolBox.ec
-rw-r--r-- 38089 findCtx.ec
-rw-r--r-- 26465 findExp.ec
-rw-r--r-- 37280 findParams.ec