Skip to content

GitLab

P
ProofScriptParser
Commit fbc0c764 authored by Sarah Grebing's avatar Sarah Grebing
Browse files
Options

Minor Bugfix

parent 45f9a7ad
Pipeline #14511 failed with stage
    in 2 minutes and 39 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 6 additions and 7 deletions
    ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.fxml
    View file @ fbc0c764
    ...@@ -118,7 +118,7 @@ ...@@ -118,7 +118,7 @@
    </SplitMenuButton> </SplitMenuButton>
    <Button disable="${! controller.debugMode}"> <Button>
    <graphic> <graphic>
    <MaterialDesignIconView glyphName="DEBUG_STEP_INTO" size="24.0"/> <MaterialDesignIconView glyphName="DEBUG_STEP_INTO" size="24.0"/>
    </graphic> </graphic>
    ...@@ -127,8 +127,7 @@ ...@@ -127,8 +127,7 @@
    </tooltip> </tooltip>
    </Button> </Button>
    <Button onAction="#stepOver" <Button onAction="#stepOver">
    disable="${! controller.debugMode}">
    <graphic> <graphic>
    <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0"/> <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0"/>
    </graphic> </graphic>
    ...@@ -137,8 +136,7 @@ ...@@ -137,8 +136,7 @@
    </tooltip> </tooltip>
    </Button> </Button>
    <Button onAction="#stepBack" <Button onAction="#stepBack">
    disable="${! controller.debugMode}">
    <graphic> <graphic>
    <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0" scaleX="-1"/> <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0" scaleX="-1"/>
    </graphic> </graphic>
    ...@@ -148,7 +146,7 @@ ...@@ -148,7 +146,7 @@
    </Button> </Button>
    <Button disable="${! controller.debugMode}"> <Button>
    <graphic> <graphic>
    <MaterialDesignIconView glyphName="DEBUG_STEP_OUT" size="24.0"/> <MaterialDesignIconView glyphName="DEBUG_STEP_OUT" size="24.0"/>
    </graphic> </graphic>
    ...@@ -157,7 +155,8 @@ ...@@ -157,7 +155,8 @@
    </tooltip> </tooltip>
    </Button> </Button>
    <Button onAction="#stopDebugMode" disable="${! controller.debugMode}"> <Button onAction="#stopDebugMode">
    <!--disable="${! controller.debugMode}"-->
    <graphic> <graphic>
    <MaterialDesignIconView glyphName="STOP" size="24.0"/> <MaterialDesignIconView glyphName="STOP" size="24.0"/>
    </graphic> </graphic>
    ......
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment