--- gigedit/trunk/src/gigedit/Settings.h	2016/05/18 10:10:25	2918
+++ gigedit/trunk/src/gigedit/Settings.h	2016/07/16 15:31:47	2956
@@ -134,6 +134,7 @@
     Property<int> scriptEditorWindowY;
     Property<int> scriptEditorWindowW;
     Property<int> scriptEditorWindowH;
+    Property<int> scriptEditorFontSize;
 
     // settings of "DimensionManager" group
     Property<int> dimensionManagerWindowX;