Loading controller/planarTreeToBinaryTree.py +0 −2 Original line number Diff line number Diff line Loading @@ -27,8 +27,6 @@ class PlanarTreeToBinaryTree(LevelController): def addNode(self, index: int, nodeType: str): if self.level.checkTree(index, nodeType): print("ouiiiiiiiiiiii") print(self.level.tree.root) self.levelGui.treeView.drawTree() if self.level.finished(): self.levelGui.finish() Loading view/menu.py +0 −1 Original line number Diff line number Diff line Loading @@ -34,7 +34,6 @@ class Menu: self.gamesWidget = None self.window = MyWindow(None) self.window.setMinimumSize(1000, 500) self.window.setMaximumHeight(self.window.width()) self.window.setCentralWidget(QWidget()) self.gameButtons = [] self.centralLayout = QHBoxLayout(self.window.centralWidget()) Loading view/menuWidget.py +1 −1 Original line number Diff line number Diff line Loading @@ -112,7 +112,7 @@ class MenuView(QGraphicsView): newWord += " " dyckWord = QGraphicsTextItem(newWord) dyckWord.setTextWidth(circleSize) dyckWord.setX(0.75 * w - 0.85 * circleSize) dyckWord.setX(0.75 * w - 0.95 * circleSize) dyckWord.setY(0.33 * h) size = int(circleSize / 8) dyckWord.setFont(QFont("Arial", size)) Loading Loading
controller/planarTreeToBinaryTree.py +0 −2 Original line number Diff line number Diff line Loading @@ -27,8 +27,6 @@ class PlanarTreeToBinaryTree(LevelController): def addNode(self, index: int, nodeType: str): if self.level.checkTree(index, nodeType): print("ouiiiiiiiiiiii") print(self.level.tree.root) self.levelGui.treeView.drawTree() if self.level.finished(): self.levelGui.finish() Loading
view/menu.py +0 −1 Original line number Diff line number Diff line Loading @@ -34,7 +34,6 @@ class Menu: self.gamesWidget = None self.window = MyWindow(None) self.window.setMinimumSize(1000, 500) self.window.setMaximumHeight(self.window.width()) self.window.setCentralWidget(QWidget()) self.gameButtons = [] self.centralLayout = QHBoxLayout(self.window.centralWidget()) Loading
view/menuWidget.py +1 −1 Original line number Diff line number Diff line Loading @@ -112,7 +112,7 @@ class MenuView(QGraphicsView): newWord += " " dyckWord = QGraphicsTextItem(newWord) dyckWord.setTextWidth(circleSize) dyckWord.setX(0.75 * w - 0.85 * circleSize) dyckWord.setX(0.75 * w - 0.95 * circleSize) dyckWord.setY(0.33 * h) size = int(circleSize / 8) dyckWord.setFont(QFont("Arial", size)) Loading