ide/Global Settings: Initial font selector (Windows support)

[sdk] / ide / src / IDESettings.ec

diff --git a/ide/src/IDESettings.ec b/ide/src/IDESettings.ec
index 4b1a783..c6aa844 100644 (file)
--- a/ide/src/IDESettings.ec
+++ b/ide/src/IDESettings.ec
@@ -883,6 +883,19 @@ public:
       isset { return language != null; }
    }
 
+   property const String codeEditorFont
+   {
+      set
+      {
+         delete codeEditorFont;
+         codeEditorFont = CopyString(value);
+      }
+      get { return codeEditorFont; }
+   }
+
+   float codeEditorFontSize;
+   bool showFixedPitchFontsOnly;
+
 private:
    CompilerConfigs compilerConfigs { };
    char * docDir;
@@ -896,6 +909,12 @@ private:
    RecentFiles recentFiles { };
    RecentWorkspaces recentProjects { };
 
+   String codeEditorFont;
+
+   showFixedPitchFontsOnly = true;
+   codeEditorFontSize = 12;
+   codeEditorFont = CopyString("Courier New");
+
    ~IDESettings()
    {
       compilerConfigs.Free();
@@ -913,6 +932,8 @@ private:
       delete ideFileDialogLocation;
       delete ideProjectFileDialogLocation;
       delete displayDriver;
+
+      delete codeEditorFont;
    }
 
    void ForcePathSeparatorStyle(bool unixStyle)