gala/plugins/zoom/Main.vala

166 lines
5.6 KiB
Vala
Raw Normal View History

2014-04-08 16:51:06 +04:00
//
// Copyright (C) 2013 Tom Beckmann, Rico Tzschichholz
2014-04-08 16:51:06 +04:00
//
2012-08-07 01:03:11 +04:00
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
2014-04-08 16:51:06 +04:00
//
2012-08-07 01:03:11 +04:00
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
2014-04-08 16:51:06 +04:00
//
2012-08-07 01:03:11 +04:00
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <http://www.gnu.org/licenses/>.
2014-04-08 16:51:06 +04:00
//
2012-08-07 01:03:11 +04:00
namespace Gala.Plugins.Zoom {
public class Main : Gala.Plugin {
2020-01-09 22:26:30 +03:00
const uint MOUSE_POLL_TIME = 50;
2020-01-09 22:26:30 +03:00
Gala.WindowManager? wm = null;
2020-01-09 22:26:30 +03:00
uint mouse_poll_timer = 0;
float current_zoom = 1.0f;
ulong wins_handler_id = 0UL;
public override void initialize (Gala.WindowManager wm) {
2020-01-09 22:26:30 +03:00
this.wm = wm;
2019-11-01 00:22:38 +03:00
#if HAS_MUTTER330
2020-01-09 22:26:30 +03:00
var display = wm.get_display ();
2019-11-01 00:22:38 +03:00
#else
2020-01-09 22:26:30 +03:00
var display = wm.get_screen ().get_display ();
2019-11-01 00:22:38 +03:00
#endif
2020-01-09 22:26:30 +03:00
var schema = new GLib.Settings (Config.SCHEMA + ".keybindings");
2020-01-09 22:26:30 +03:00
display.add_keybinding ("zoom-in", schema, 0, (Meta.KeyHandlerFunc) zoom_in);
display.add_keybinding ("zoom-out", schema, 0, (Meta.KeyHandlerFunc) zoom_out);
}
public override void destroy () {
2020-01-09 22:26:30 +03:00
if (wm == null)
return;
2019-11-01 00:22:38 +03:00
#if HAS_MUTTER330
2020-01-09 22:26:30 +03:00
var display = wm.get_display ();
2019-11-01 00:22:38 +03:00
#else
2020-01-09 22:26:30 +03:00
var display = wm.get_screen ().get_display ();
2019-11-01 00:22:38 +03:00
#endif
2020-01-09 22:26:30 +03:00
display.remove_keybinding ("zoom-in");
display.remove_keybinding ("zoom-out");
2020-01-09 22:26:30 +03:00
if (mouse_poll_timer > 0)
Source.remove (mouse_poll_timer);
mouse_poll_timer = 0;
}
2020-01-09 22:26:30 +03:00
[CCode (instance_pos = -1)]
2019-11-01 00:22:38 +03:00
#if HAS_MUTTER330
2020-01-09 22:26:30 +03:00
void zoom_in (Meta.Display display, Meta.Window? window,
Clutter.KeyEvent event, Meta.KeyBinding binding) {
2019-11-01 00:22:38 +03:00
#else
2020-01-09 22:26:30 +03:00
void zoom_in (Meta.Display display, Meta.Screen screen,
Meta.Window? window, Clutter.KeyEvent event, Meta.KeyBinding binding) {
2019-11-01 00:22:38 +03:00
#endif
2020-01-09 22:26:30 +03:00
zoom (true);
}
2020-01-09 22:26:30 +03:00
[CCode (instance_pos = -1)]
2019-11-01 00:22:38 +03:00
#if HAS_MUTTER330
2020-01-09 22:26:30 +03:00
void zoom_out (Meta.Display display, Meta.Window? window,
Clutter.KeyEvent event, Meta.KeyBinding binding) {
2019-11-01 00:22:38 +03:00
#else
2020-01-09 22:26:30 +03:00
void zoom_out (Meta.Display display, Meta.Screen screen,
Meta.Window? window, Clutter.KeyEvent event, Meta.KeyBinding binding) {
2019-11-01 00:22:38 +03:00
#endif
2020-01-09 22:26:30 +03:00
zoom (false);
}
void zoom (bool @in) {
2020-01-09 22:26:30 +03:00
// Nothing to do if zooming out of our bounds is requested
if (current_zoom <= 1.0f && !@in)
return;
else if (current_zoom >= 10.0f && @in)
Gdk.beep ();
2020-01-09 22:26:30 +03:00
return;
var wins = wm.ui_group;
// Add timer to poll current mouse position to reposition window-group
// to show requested zoomed area
if (mouse_poll_timer == 0) {
float mx, my;
var client_pointer = Gdk.Display.get_default ().get_default_seat ().get_pointer ();
2020-01-09 22:26:30 +03:00
client_pointer.get_position (null, out mx, out my);
wins.set_pivot_point (mx / wins.width, my / wins.height);
mouse_poll_timer = Timeout.add (MOUSE_POLL_TIME, () => {
client_pointer.get_position (null, out mx, out my);
2020-03-13 01:38:28 +03:00
#if HAS_MUTTER336
var new_pivot = new Graphene.Point ();
#else
2020-01-09 22:26:30 +03:00
var new_pivot = Clutter.Point.alloc ();
2020-03-13 01:38:28 +03:00
#endif
2020-01-09 22:26:30 +03:00
new_pivot.init (mx / wins.width, my / wins.height);
2020-03-13 01:38:28 +03:00
#if HAS_MUTTER336
if (wins.pivot_point.equal (new_pivot)) {
#else
if (wins.pivot_point.equals (new_pivot)) {
#endif
2020-01-09 22:26:30 +03:00
2020-03-13 01:38:28 +03:00
return true;
}
2020-01-09 22:26:30 +03:00
wins.save_easing_state ();
wins.set_easing_mode (Clutter.AnimationMode.LINEAR);
wins.set_easing_duration (MOUSE_POLL_TIME);
wins.pivot_point = new_pivot;
wins.restore_easing_state ();
return true;
});
}
current_zoom += (@in ? 0.5f : -0.5f);
if (current_zoom <= 1.0f) {
current_zoom = 1.0f;
if (mouse_poll_timer > 0)
Source.remove (mouse_poll_timer);
mouse_poll_timer = 0;
wins.save_easing_state ();
wins.set_easing_mode (Clutter.AnimationMode.EASE_OUT_CUBIC);
wins.set_easing_duration (300);
wins.set_scale (1.0f, 1.0f);
wins.restore_easing_state ();
wins_handler_id = wins.transitions_completed.connect (() => {
wins.disconnect (wins_handler_id);
wins.set_pivot_point (0.0f, 0.0f);
});
return;
}
wins.save_easing_state ();
wins.set_easing_mode (Clutter.AnimationMode.EASE_OUT_CUBIC);
wins.set_easing_duration (300);
wins.set_scale (current_zoom, current_zoom);
wins.restore_easing_state ();
}
}
2012-08-07 01:03:11 +04:00
}
public Gala.PluginInfo register_plugin () {
2020-01-09 22:26:30 +03:00
return Gala.PluginInfo () {
name = "Zoom",
author = "Gala Developers",
plugin_type = typeof (Gala.Plugins.Zoom.Main),
provides = Gala.PluginFunction.ADDITION,
load_priority = Gala.LoadPriority.IMMEDIATE
};
}