RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-25 05:37:43 +00:00
Code Issues Activity Actions

HackStudio: Allow switching between editors with Ctrl+E / Ctrl+Shift+E

Browse source
This commit is contained in:
Andreas Kling 2019-11-05 20:55:50 +01:00
parent f844715106
commit 538d5f82c1
2 changed files with 35 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
DevTools/HackStudio/EditorWrapper.h
View file

@ -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");
}