make the edge width configurable
commit31f34a4db74b81a35ed6d34d81dce57a2433c055
authorMichael Zanetti <michael.zanetti@canonical.com>
dateSat 19 Mar 2016, 18:40 (11 years ago)
parentb7cd4c1
data/com.canonical.Unity8.gschema.xml+5
@@ -27,6 +27,11 @@
2727 <summary>Maximum push needed to overcome edge barrier</summary>
2828 <description>How much you have to push (in grid units) the mouse against an edge barrier when sensibility is 1.</description>
2929 </key>
30+ <key type="i" name="edge-drag-width">
31+ <default>2</default>
32+ <summary>The width of the edge drag areas</summary>
33+ <description>How big (in grid units) the edge-drag sensitive area should be.</description>
34+ </key>
3035 <key type="b" name="autohide-launcher">
3136 <default>true</default>
3237 <summary>Autohide the launcher</summary>
qml/Shell.qml+1−1
@@ -107,7 +107,7 @@ Item {
107107 // the greeter or launcher until we know whether the session is locked.
108108 enabled: greeter && !greeter.waiting
109109
110− property real edgeSize: units.gu(2)
110+ property real edgeSize: units.gu(settings.edgeDragWidth)
111111
112112 WallpaperResolver {
113113 id: wallpaperResolver