diff options
Diffstat (limited to 'minus-backgroundmanager.patch')
| -rw-r--r-- | minus-backgroundmanager.patch | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/minus-backgroundmanager.patch b/minus-backgroundmanager.patch index 234c7bb14819..9a8250841f28 100644 --- a/minus-backgroundmanager.patch +++ b/minus-backgroundmanager.patch @@ -34,7 +34,7 @@ public Panel (Services.PopoverManager popover_manager) { Object (popover_manager : popover_manager); -@@ -64,39 +63,6 @@ +@@ -64,43 +63,6 @@ style_context = this.get_style_context (); @@ -69,8 +69,12 @@ - - popover_manager.close (); - +- var scale_factor = this.get_scale_factor (); +- var x = (int)event.x_root * scale_factor; +- var y = (int)event.y_root * scale_factor; +- - var background_manager = Services.BackgroundManager.get_default (); -- return background_manager.begin_grab_focused_window ((int)event.x_root, (int)event.y_root, (int)event.button, time, state); +- return background_manager.begin_grab_focused_window (x, y, (int)event.button, time, state); } public void cycle (bool forward) { |