Commit eef99976 authored by Aurelien Dufour's avatar Aurelien Dufour
Browse files

retrait des racines sur le dessin des arbres binaires pour les bijections...

retrait des racines sur le dessin des arbres binaires pour les bijections arbres binaire <=> arbre planaire, des pointillés sur les branches provenant des racines
parent 491f38d4
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -36,5 +36,5 @@ class BinaryTreeToPlanarTreeGui(LevelGui):

    def createTreeView(self):
        self.treeScene = QGraphicsScene()
        self.treeView = TreeView(self.treeScene, controller=self.controller, model=True, root=True)
        self.treeView = TreeView(self.treeScene, controller=self.controller, model=True)
        self.treeView.drawTree()
+1 −2
Original line number Diff line number Diff line
@@ -26,7 +26,6 @@ class GameButton(QWidget):
        palette.setColor(self.backgroundRole(), QColor(215, 0, 255))
        self.setPalette(palette)

    def mouseReleaseEvent(self, event: QtGui.QMouseEvent):
    def mousePressEvent(self, QMouseEvent):
        self.clicked.trigger()
+1 −1
Original line number Diff line number Diff line
@@ -33,5 +33,5 @@ class PlanarTreeToBinaryTreeGui(LevelGui):

    def createTreeView(self):
        self.treeScene = QGraphicsScene()
        self.treeView = TreeView(self.treeScene, controller=self.controller, root=True)
        self.treeView = TreeView(self.treeScene, controller=self.controller)
        self.treeView.drawTree()
+0 −3
Original line number Diff line number Diff line
@@ -82,9 +82,6 @@ class TreeView(QGraphicsView):
        else:
            nodeColor = QColor(187, 143, 206)
            nodePen.setWidth(0.1 * nodeWidth)
            space = nodeWidth / 15.356667
            branchPen.setDashPattern([space, space])
            nodePen.setDashPattern([space, space])
        branchPen.setWidth(lineWidth)
        branchPen.setCapStyle(Qt.RoundCap)
        nodePen.setWidth(0.1 * nodeWidth)