Parent Directory | Revision Log | Patch
revision 3830 by schoenebeck, Fri Jan 10 14:22:25 2020 UTC | revision 3831 by schoenebeck, Thu Oct 15 18:08:49 2020 UTC | |
---|---|---|
# | Line 136 public: | Line 136 public: |
136 | Property<int> mainWindowY; | Property<int> mainWindowY; |
137 | Property<int> mainWindowW; | Property<int> mainWindowW; |
138 | Property<int> mainWindowH; | Property<int> mainWindowH; |
139 | Property<int> mainWindowSplitterPosX; | |
140 | ||
141 | // settings of "ScriptEditor" group | // settings of "ScriptEditor" group |
142 | Property<int> scriptEditorWindowX; | Property<int> scriptEditorWindowX; |
|
ViewVC Help | |
Powered by ViewVC |