Set font size properly on scintilla editors

2026-08-30 18:35:50 +00:00 · 2026-08-13 21:05:12 +01:00
parent 0f50ff29c5
commit 45d22e3f0d
3 changed files with 12 additions and 6 deletions
@@ -159,6 +159,7 @@ private:
  int m_InteractiveCompletionPrefix = 0;

  static const int CURRENT_MARKER = 0;
+  static const int STYLE_ERROR = 100;

  bool m_CurLineDirty = false;
  int m_CurLine = 0;