Merge pull request #17 from sucksome/master

fix: allow removing first premise
kovzol · Nov 11, 2023 · dcbb5c0 · dcbb5c0
2 parents 027dfa8 + 935a880
commit dcbb5c0
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/qt/ProofArea.qml b/qt/ProofArea.qml
@@ -455,10 +455,12 @@ Item {
 
                     Action {
                         text: "Remove this Line"
-                        enabled: (index !== 0)
+                        enabled: !((premiseCount == listView.count)
+                                   && (listView.count == 1))
 
                         onTriggered: {
-
+                            if (type === "premise")
+                                premiseCount--
                             var i = index
                             theData.removeLineAt(index)
                             proofModel.updateLines()