Fix cursor position if a new premise is added

kovzol · Nov 11, 2023 · 1cdef5d · 1cdef5d
1 parent c30749c
commit 1cdef5d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/qt/ProofArea.qml b/qt/ProofArea.qml
@@ -394,8 +394,8 @@ Item {
                         onTriggered: {
                             theData.insertLine(index + 1,index+2,"","premise",false,false,false,0,[-1])
                             proofModel.updateLines();
-                            proofModel.updateRefs(0,true);
-                            listView.currentIndex = 0;
+                            proofModel.updateRefs(index + 1,true);
+                            listView.currentIndex = index + 1;
                             cConnector.evalText = "Evaluate Proof";
                         }
                     }