diff options
| -rw-r--r-- | fluid/CodeEditor.cxx | 10 | ||||
| -rw-r--r-- | fluid/CodeEditor.h | 6 |
2 files changed, 15 insertions, 1 deletions
diff --git a/fluid/CodeEditor.cxx b/fluid/CodeEditor.cxx index 864f5045f..bad97057c 100644 --- a/fluid/CodeEditor.cxx +++ b/fluid/CodeEditor.cxx @@ -114,6 +114,16 @@ const char * const CodeEditor:: "volatile" }; +// attempt to make the fluid code editor widget honour textsize setting +void CodeEditor::textsize(Fl_Fontsize s) { + Fl_Text_Editor::textsize(s); // call base class method + // now attempt to update our styletable to honour the new size... + int entries = sizeof(styletable) / sizeof(styletable[0]); + for(int iter = 0; iter < entries; iter++) { + styletable[iter].size = s; + } +} // textsize + // 'compare_keywords()' - Compare two keywords... int CodeEditor::compare_keywords(const void *a, const void *b) { diff --git a/fluid/CodeEditor.h b/fluid/CodeEditor.h index 1c7c037db..ce7120ef1 100644 --- a/fluid/CodeEditor.h +++ b/fluid/CodeEditor.h @@ -59,6 +59,10 @@ class CodeEditor : public Fl_Text_Editor { CodeEditor(int X, int Y, int W, int H, const char *L=0); ~CodeEditor(); int top_line() { return get_absolute_top_line_number(); } + + // attempt to make the fluid code editor widget honour textsize setting + void textsize(Fl_Fontsize s); + }; class CodeViewer : public CodeEditor { @@ -66,7 +70,7 @@ class CodeViewer : public CodeEditor { public: CodeViewer(int X, int Y, int W, int H, const char *L=0); - + protected: int handle(int ev) { return Fl_Text_Display::handle(ev); } |
