Parent Directory
| 
Revision Log
| 
Patch
| revision 2918 by schoenebeck, Wed May 18 10:10:25 2016 UTC | revision 2956 by schoenebeck, Sat Jul 16 15:31:47 2016 UTC | |
|---|---|---|
| # | Line 134 public: | Line 134 public: |
| 134 | Property<int> scriptEditorWindowY; | Property<int> scriptEditorWindowY; |
| 135 | Property<int> scriptEditorWindowW; | Property<int> scriptEditorWindowW; |
| 136 | Property<int> scriptEditorWindowH; | Property<int> scriptEditorWindowH; |
| 137 | Property<int> scriptEditorFontSize; | |
| 138 | ||
| 139 | // settings of "DimensionManager" group | // settings of "DimensionManager" group |
| 140 | Property<int> dimensionManagerWindowX; | Property<int> dimensionManagerWindowX; |
|
||||||||
| ViewVC Help | |
| Powered by ViewVC |