region selector: add selection padding to target regions

2026-06-11 19:39:57 -05:00 · 2025-11-05 12:13:46 +01:00
parent 6ca5175bb0
commit 923841cb56
2 changed files with 6 additions and 4 deletions
@@ -377,6 +377,7 @@ Singleton {
                    property bool showLabel: false
                    property real opacity: 0.3
                    property real contentRegionOpacity: 0.8
+                    property int selectionPadding: 5
                }
                property JsonObject rect: JsonObject {
                    property bool showAimLines: true