added FIXMES for two problems
parent
0f3e9b0689
commit
964668467c
|
@ -65,6 +65,8 @@ class Editor(Window):
|
||||||
self.set_size(size[0], size[1])
|
self.set_size(size[0], size[1])
|
||||||
|
|
||||||
#layout
|
#layout
|
||||||
|
#FIXME: Somehow this places the editor behind the menu bar so that the
|
||||||
|
# first couple lines are cut off
|
||||||
layout = QtWidgets.QHBoxLayout()
|
layout = QtWidgets.QHBoxLayout()
|
||||||
layout.addChildWidget(self.text_edit)
|
layout.addChildWidget(self.text_edit)
|
||||||
|
|
||||||
|
@ -73,6 +75,9 @@ class Editor(Window):
|
||||||
def resizeEvent(self, event):
|
def resizeEvent(self, event):
|
||||||
self.set_size(event.size().width(), event.size().height())
|
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):
|
def set_size(self, size_x, size_y):
|
||||||
self.text_edit.resize(size_x, size_y)
|
self.text_edit.resize(size_x, size_y)
|
||||||
self.resize(size_x, size_y)
|
self.resize(size_x, size_y)
|
||||||
|
|
Reference in New Issue