From a2d59f6f8ded4b4075f439193be14d75dc6d046f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Kov=C3=A1cs?= Date: Sat, 11 Nov 2023 10:59:48 +0100 Subject: [PATCH] Add the new premise below the current line --- qt/ProofArea.qml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/qt/ProofArea.qml b/qt/ProofArea.qml index adbdf8c..6c484eb 100644 --- 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;