Compare commits

...

6 Commits

Author SHA1 Message Date
Milansuman 0a82806b45 added tabbing for the sake of progress 2022-04-16 19:47:08 +05:30
BodgeMaster 53ee124026 remove useless set_size() function call 2022-03-30 18:59:53 +02:00
BodgeMaster 48b969fda1 disable word wrap because why not 2022-03-28 23:04:29 +02:00
BodgeMaster 36fef1cfc1 fixed text editor popout window 2022-03-28 22:44:00 +02:00
BodgeMaster 72d30b4688 move resize event handling to the generic Window class 2022-03-28 15:45:17 +02:00
BodgeMaster 964668467c added FIXMES for two problems 2022-03-28 15:43:58 +02:00
1 changed files with 15 additions and 17 deletions

View File

@ -6,10 +6,11 @@ app = QtWidgets.QApplication([])
#TODO: Implement separate editor, terminal and main_window classes using Window as a parent
class Window(QtWidgets.QMainWindow):
def __init__(self, size=(640, 480), title="Concorde"):
def __init__(self, size=(640, 480), title="Concorde", on_resize=lambda event: None):
super().__init__()
self.setWindowTitle(title)
self.resize(size[0], size[1])
self.__on_resize = on_resize
def __del__(self):
#TODO: whatever needs to be done here
@ -26,6 +27,9 @@ class Window(QtWidgets.QMainWindow):
def set_size(self, size_x, size_y):
self.resize(size_x, size_y)
def on_resize(self, function):
self.__on_resize = function
def update_menus(self, menu_dict, menu=None):
# if not a sub menu
if menu == None:
@ -52,6 +56,11 @@ class Window(QtWidgets.QMainWindow):
menu_item = menu.addAction(entry)
menu_item.triggered.connect(menu_dict[entry])
# Toolkit specific! Do not use outside gui_handler.
def resizeEvent(self, event):
self.__on_resize(event)
class Editor(Window):
def __init__(self, size=(640, 480)):
super().__init__(size, "Editor")
@ -59,24 +68,13 @@ class Editor(Window):
#TODO: Figure out a way to do the fucking line numbers
#Text Editor
self.text_edit = QtWidgets.QPlainTextEdit(self)
self.text_edit = QtWidgets.QPlainTextEdit()
self.text_edit.setFrameStyle(QtWidgets.QFrame.NoFrame)
self.set_size(size[0], size[1])
#layout
layout = QtWidgets.QHBoxLayout()
layout.addChildWidget(self.text_edit)
self.setLayout(layout)
self.text_edit.setWordWrapMode(QtGui.QTextOption.NoWrap)
def resizeEvent(self, event):
self.set_size(event.size().width(), event.size().height())
def set_size(self, size_x, size_y):
self.text_edit.resize(size_x, size_y)
self.resize(size_x, size_y)
self.tabs = QtWidgets.QTabWidget()
self.tabs.addTab(self.text_edit, "untitled")
self.setCentralWidget(self.tabs)
class Message(QtWidgets.QMessageBox):
def __init__(self, title, text):