diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2019-11-05 20:55:50 +0100 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2019-11-05 20:56:36 +0100 |
| commit | 538d5f82c141536c3517ff8321be8ed7316fbd3a (patch) | |
| tree | 6589bfb990c47e9a4c858e7389c3241663ad0498 /DevTools/HackStudio/EditorWrapper.h | |
| parent | f844715106a0abbe55fba34c53c10bf2da77e6d9 (diff) | |
| download | serenity-538d5f82c141536c3517ff8321be8ed7316fbd3a.zip | |
HackStudio: Allow switching between editors with Ctrl+E / Ctrl+Shift+E
Diffstat (limited to 'DevTools/HackStudio/EditorWrapper.h')
| -rw-r--r-- | DevTools/HackStudio/EditorWrapper.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/DevTools/HackStudio/EditorWrapper.h b/DevTools/HackStudio/EditorWrapper.h index 2180d8da73..c84c5e4e98 100644 --- a/DevTools/HackStudio/EditorWrapper.h +++ b/DevTools/HackStudio/EditorWrapper.h @@ -24,3 +24,9 @@ private: RefPtr<GLabel> m_cursor_label; RefPtr<Editor> m_editor; }; + +template<> +inline bool is<EditorWrapper>(const CObject& object) +{ + return !strcmp(object.class_name(), "EditorWrapper"); +} |