|
|
@ -68,28 +68,13 @@ class Editor(Window):
|
|
|
|
#TODO: Figure out a way to do the fucking line numbers
|
|
|
|
#TODO: Figure out a way to do the fucking line numbers
|
|
|
|
|
|
|
|
|
|
|
|
#Text Editor
|
|
|
|
#Text Editor
|
|
|
|
self.text_edit = QtWidgets.QPlainTextEdit(self)
|
|
|
|
self.text_edit = QtWidgets.QPlainTextEdit()
|
|
|
|
self.text_edit.setFrameStyle(QtWidgets.QFrame.NoFrame)
|
|
|
|
self.text_edit.setFrameStyle(QtWidgets.QFrame.NoFrame)
|
|
|
|
|
|
|
|
self.text_edit.setWordWrapMode(QtGui.QTextOption.NoWrap)
|
|
|
|
|
|
|
|
self.setCentralWidget(self.text_edit)
|
|
|
|
|
|
|
|
|
|
|
|
self.set_size(size[0], size[1])
|
|
|
|
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)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
self.setLayout(layout)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
super().on_resize(lambda 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)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Message(QtWidgets.QMessageBox):
|
|
|
|
class Message(QtWidgets.QMessageBox):
|
|
|
|
def __init__(self, title, text):
|
|
|
|
def __init__(self, title, text):
|
|
|
|