Parent Directory | Revision Log | Patch
revision 2955 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 |