added zoom_margin optional property for zone definition

2021-12-08 13:03:25 +01:00
parent 082b33cf02
commit 03cf5c05ff
3 changed files with 27 additions and 13 deletions
@@ -163,6 +163,11 @@
                         "name":"focusable",
                         "type":"bool",
                         "value":true
+                        }, 
+                        {
+                         "name":"zoom_margin",
+                         "type":"float",
+                         "value":0.5
                        }],
                 "rotation":0,
                 "type":"zone",
@@ -185,6 +190,11 @@
                         "name":"focusable",
                         "type":"bool",
                         "value":true
+                        }, 
+                        {
+                         "name":"zoom_margin",
+                         "type":"float",
+                         "value":0
                        }],
                 "rotation":0,
                 "type":"zone",