--- a/application/window.h Thu Dec 10 13:43:25 2020 +0100
+++ b/application/window.h Fri Dec 11 11:46:19 2020 +0100
@@ -39,6 +39,8 @@
UIWIDGET sidebar;
UIWIDGET browser;
UIWIDGET editor;
+
+ UiBool editorIsOpen;
} WindowData;
UiObject* window_create(void);