HackStudio: Draw a brownish frame around the current editor widget

Also make the editor filename label bold only for the current editor.
This commit is contained in:
Andreas Kling 2019-10-27 20:43:34 +01:00
commit e2c74762ff
Notes: sideshowbarker 2024-07-19 11:31:02 +09:00
4 changed files with 50 additions and 2 deletions

View file

@ -15,6 +15,8 @@ public:
GLabel& filename_label() { return *m_filename_label; }
void set_editor_has_focus(Badge<Editor>, bool);
private:
explicit EditorWrapper(GWidget* parent = nullptr);