diff --git a/gui_handler.py b/gui_handler.py index a8a322b..33e681c 100644 --- a/gui_handler.py +++ b/gui_handler.py @@ -65,6 +65,8 @@ class Editor(Window): self.set_size(size[0], size[1]) #layout + #FIXME: Somehow this places the editor behind the menu bar so that the + # first couple lines are cut off layout = QtWidgets.QHBoxLayout() layout.addChildWidget(self.text_edit) @@ -73,6 +75,9 @@ class Editor(Window): def resizeEvent(self, event): self.set_size(event.size().width(), event.size().height()) + #FIXME: This function is inherently flawed because it doesn't take the + # actual height of the usable area inside the window into account. + # On a side note: This should be taken care of by the toolkit (Qt). def set_size(self, size_x, size_y): self.text_edit.resize(size_x, size_y) self.resize(size_x, size_y)