diff options
| author | Oriko <oriko1010@protonmail.com> | 2020-03-12 00:18:13 +0200 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2020-03-12 12:37:13 +0100 |
| commit | 879bf3e97b5d36b83e39eef66c8b54874b8199ab (patch) | |
| tree | bdb8f651c64474a90bd23cdffa4373ced5e0a373 /DevTools/HackStudio/Editor.h | |
| parent | d8a73dd97961cfae26c283a7733c04272b8b1912 (diff) | |
| download | serenity-879bf3e97b5d36b83e39eef66c8b54874b8199ab.zip | |
HackStudio: Add header navigation
Diffstat (limited to 'DevTools/HackStudio/Editor.h')
| -rw-r--r-- | DevTools/HackStudio/Editor.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/DevTools/HackStudio/Editor.h b/DevTools/HackStudio/Editor.h index f4096cd126..c02d7d01e6 100644 --- a/DevTools/HackStudio/Editor.h +++ b/DevTools/HackStudio/Editor.h @@ -37,6 +37,7 @@ public: virtual ~Editor() override; Function<void()> on_focus; + Function<void(String)> on_open; EditorWrapper& wrapper(); const EditorWrapper& wrapper() const; @@ -46,8 +47,10 @@ private: virtual void focusout_event(Core::Event&) override; virtual void paint_event(GUI::PaintEvent&) override; virtual void mousemove_event(GUI::MouseEvent&) override; + virtual void mousedown_event(GUI::MouseEvent&) override; void show_documentation_tooltip_if_available(const String&, const Gfx::Point& screen_location); + void navigate_to_include_if_available(String); explicit Editor(); |