#97 By default select fragments of statements with a single click.

expln · Jun 17, 2023 · 71912c5 · 71912c5
1 parent c6b936e
commit 71912c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/metamath/ui/MM_cmp_settings.res b/src/metamath/ui/MM_cmp_settings.res
@@ -65,7 +65,7 @@ let createDefaultSettings = () => {
         parensErr: None,
         asrtsToSkip: [],
         asrtsToSkipRegex: asrtsToSkipRegexDefault,
-        editStmtsByLeftClick: true,
+        editStmtsByLeftClick: false,
         initStmtIsGoal:true,
         defaultStmtLabel:"qed",
         defaultStmtType:"|-",