Add the new premise below the current line

kovzol · Nov 11, 2023 · a2d59f6 · a2d59f6
1 parent db2c284
commit a2d59f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/qt/ProofArea.qml b/qt/ProofArea.qml
@@ -392,7 +392,7 @@ Item {
                     Action{
                         text: "Add Premise"
                         onTriggered: {
-                            theData.insertLine(0,1,"","premise",false,false,false,0,[-1])
+                            theData.insertLine(index + 1,index+2,"","premise",false,false,false,0,[-1])
                             proofModel.updateLines();
                             proofModel.updateRefs(0,true);
                             listView.currentIndex = 0;