2017-07-08 09:30:31 +03:00
|
|
|
//
|
|
|
|
// Copyright (C) 2017 Adam Bieńkowski
|
|
|
|
//
|
|
|
|
// 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.
|
|
|
|
//
|
|
|
|
// 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.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
|
|
// along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
//
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
public class Gala.Plugins.PIP.PopupWindow : Clutter.Actor {
|
2020-01-09 22:26:30 +03:00
|
|
|
private int button_size;
|
|
|
|
private int container_margin;
|
|
|
|
private const int SHADOW_SIZE = 100;
|
|
|
|
private const uint FADE_OUT_TIMEOUT = 200;
|
|
|
|
private const float MINIMUM_SCALE = 0.1f;
|
|
|
|
private const float MAXIMUM_SCALE = 1.0f;
|
|
|
|
private const int SCREEN_MARGIN = 0;
|
|
|
|
|
|
|
|
public signal void closed ();
|
|
|
|
|
|
|
|
public Gala.WindowManager wm { get; construct; }
|
|
|
|
public Meta.WindowActor window_actor { get; construct; }
|
2020-03-11 12:48:22 +03:00
|
|
|
|
|
|
|
private bool dynamic_container = false;
|
2020-01-09 22:26:30 +03:00
|
|
|
|
|
|
|
private Clutter.Actor clone;
|
|
|
|
private Clutter.Actor container;
|
|
|
|
private Clutter.Actor close_button;
|
|
|
|
private Clutter.Actor resize_button;
|
|
|
|
private Clutter.ClickAction close_action;
|
2020-11-09 12:15:00 +03:00
|
|
|
private DragDropAction move_action;
|
2020-01-09 22:26:30 +03:00
|
|
|
|
|
|
|
private float begin_resize_width = 0.0f;
|
|
|
|
private float begin_resize_height = 0.0f;
|
2020-11-16 18:53:06 +03:00
|
|
|
private float resize_start_x = 0.0f;
|
|
|
|
private float resize_start_y = 0.0f;
|
|
|
|
|
|
|
|
private bool resizing = false;
|
2020-01-09 22:26:30 +03:00
|
|
|
|
|
|
|
static unowned Meta.Window? previous_focus = null;
|
|
|
|
|
|
|
|
// From https://opensourcehacker.com/2011/12/01/calculate-aspect-ratio-conserving-resize-for-images-in-javascript/
|
|
|
|
static void calculate_aspect_ratio_size_fit (float src_width, float src_height, float max_width, float max_height,
|
2020-01-15 03:44:21 +03:00
|
|
|
out float width, out float height) {
|
2020-01-09 22:26:30 +03:00
|
|
|
float ratio = float.min (max_width / src_width, max_height / src_height);
|
|
|
|
width = src_width * ratio;
|
|
|
|
height = src_height * ratio;
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
static bool get_window_is_normal (Meta.Window window) {
|
2020-01-09 22:26:30 +03:00
|
|
|
var window_type = window.get_window_type ();
|
|
|
|
return window_type == Meta.WindowType.NORMAL
|
|
|
|
|| window_type == Meta.WindowType.DIALOG
|
|
|
|
|| window_type == Meta.WindowType.MODAL_DIALOG;
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
static void get_current_cursor_position (out int x, out int y) {
|
2020-07-12 20:56:23 +03:00
|
|
|
Gdk.Display.get_default ().get_default_seat ().get_pointer ().get_position (null, out x, out y);
|
2020-01-09 22:26:30 +03:00
|
|
|
}
|
|
|
|
|
2020-03-11 12:48:22 +03:00
|
|
|
public PopupWindow (Gala.WindowManager wm, Meta.WindowActor window_actor) {
|
|
|
|
Object (wm: wm, window_actor: window_actor);
|
2020-01-09 22:26:30 +03:00
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
construct {
|
2020-01-09 22:26:30 +03:00
|
|
|
var scale = Utils.get_ui_scaling_factor ();
|
|
|
|
button_size = 36 * scale;
|
|
|
|
container_margin = button_size / 2;
|
2020-01-15 03:44:21 +03:00
|
|
|
|
2020-01-09 22:26:30 +03:00
|
|
|
reactive = true;
|
|
|
|
|
|
|
|
set_pivot_point (0.5f, 0.5f);
|
|
|
|
set_easing_mode (Clutter.AnimationMode.EASE_IN_QUAD);
|
|
|
|
|
|
|
|
var window = window_actor.get_meta_window ();
|
|
|
|
window.unmanaged.connect (on_close_click_clicked);
|
|
|
|
window.notify["appears-focused"].connect (() => {
|
|
|
|
Idle.add (() => {
|
|
|
|
update_window_focus ();
|
|
|
|
return false;
|
|
|
|
});
|
|
|
|
});
|
|
|
|
|
|
|
|
clone = new Clutter.Clone (window_actor);
|
|
|
|
|
2020-11-09 12:15:00 +03:00
|
|
|
move_action = new DragDropAction (DragDropActionType.SOURCE, "pip");
|
2020-01-09 22:26:30 +03:00
|
|
|
move_action.drag_begin.connect (on_move_begin);
|
2020-11-09 12:15:00 +03:00
|
|
|
move_action.drag_canceled.connect (on_move_end);
|
|
|
|
move_action.actor_clicked.connect (activate);
|
2020-01-09 22:26:30 +03:00
|
|
|
|
|
|
|
container = new Clutter.Actor ();
|
|
|
|
container.reactive = true;
|
|
|
|
container.set_scale (0.35f, 0.35f);
|
|
|
|
container.add_effect (new ShadowEffect (SHADOW_SIZE, 2));
|
|
|
|
container.add_child (clone);
|
|
|
|
container.add_action (move_action);
|
|
|
|
|
|
|
|
update_size ();
|
|
|
|
update_container_position ();
|
|
|
|
|
|
|
|
Meta.Rectangle monitor_rect;
|
|
|
|
get_current_monitor_rect (out monitor_rect);
|
|
|
|
|
|
|
|
float x_position, y_position;
|
|
|
|
if (Clutter.get_default_text_direction () == Clutter.TextDirection.RTL) {
|
|
|
|
x_position = SCREEN_MARGIN + monitor_rect.x;
|
|
|
|
} else {
|
|
|
|
x_position = monitor_rect.width + monitor_rect.x - SCREEN_MARGIN - width;
|
|
|
|
}
|
|
|
|
y_position = monitor_rect.height + monitor_rect.y - SCREEN_MARGIN - height;
|
|
|
|
|
|
|
|
set_position (x_position, y_position);
|
|
|
|
|
|
|
|
close_action = new Clutter.ClickAction ();
|
|
|
|
close_action.clicked.connect (on_close_click_clicked);
|
|
|
|
|
|
|
|
close_button = Gala.Utils.create_close_button ();
|
|
|
|
close_button.opacity = 0;
|
|
|
|
close_button.reactive = true;
|
|
|
|
close_button.set_easing_duration (300);
|
|
|
|
close_button.add_action (close_action);
|
|
|
|
|
|
|
|
resize_button = Utils.create_resize_button ();
|
|
|
|
resize_button.set_pivot_point (0.5f, 0.5f);
|
|
|
|
resize_button.set_position (width - button_size, height - button_size);
|
|
|
|
resize_button.opacity = 0;
|
2020-11-16 18:53:06 +03:00
|
|
|
resize_button.button_press_event.connect (on_resize_button_press);
|
2020-01-09 22:26:30 +03:00
|
|
|
resize_button.reactive = true;
|
|
|
|
|
|
|
|
add_child (container);
|
|
|
|
add_child (close_button);
|
|
|
|
add_child (resize_button);
|
2020-03-11 12:48:22 +03:00
|
|
|
|
|
|
|
window_actor.notify["allocation"].connect (on_allocation_changed);
|
|
|
|
container.set_position (container_margin, container_margin);
|
|
|
|
update_clone_clip ();
|
2020-01-09 22:26:30 +03:00
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
public override void show () {
|
2020-01-09 22:26:30 +03:00
|
|
|
base.show ();
|
|
|
|
|
|
|
|
opacity = 0;
|
|
|
|
|
|
|
|
set_easing_duration (200);
|
|
|
|
opacity = 255;
|
|
|
|
|
|
|
|
set_easing_duration (0);
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
public override void hide () {
|
2020-01-09 22:26:30 +03:00
|
|
|
opacity = 255;
|
2020-01-15 03:44:21 +03:00
|
|
|
|
2020-01-09 22:26:30 +03:00
|
|
|
set_easing_duration (200);
|
|
|
|
opacity = 0;
|
|
|
|
|
|
|
|
set_easing_duration (0);
|
|
|
|
|
|
|
|
ulong completed_id = 0UL;
|
|
|
|
completed_id = transitions_completed.connect (() => {
|
|
|
|
disconnect (completed_id);
|
|
|
|
base.hide ();
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
public override bool enter_event (Clutter.CrossingEvent event) {
|
2020-01-09 22:26:30 +03:00
|
|
|
close_button.opacity = 255;
|
|
|
|
|
|
|
|
resize_button.set_easing_duration (300);
|
|
|
|
resize_button.opacity = 255;
|
|
|
|
resize_button.set_easing_duration (0);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
public override bool leave_event (Clutter.CrossingEvent event) {
|
2020-01-09 22:26:30 +03:00
|
|
|
close_button.opacity = 0;
|
|
|
|
|
|
|
|
resize_button.set_easing_duration (300);
|
|
|
|
resize_button.opacity = 0;
|
|
|
|
resize_button.set_easing_duration (0);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2020-03-13 01:38:28 +03:00
|
|
|
public void set_container_clip (Graphene.Rect? container_clip) {
|
2020-03-11 12:48:22 +03:00
|
|
|
container.clip_rect = container_clip;
|
|
|
|
dynamic_container = true;
|
|
|
|
update_container_scale ();
|
|
|
|
on_allocation_changed ();
|
|
|
|
}
|
|
|
|
|
2020-11-09 12:15:00 +03:00
|
|
|
private Clutter.Actor on_move_begin () {
|
|
|
|
return this;
|
2020-01-09 22:26:30 +03:00
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void on_move_end () {
|
2020-11-09 12:15:00 +03:00
|
|
|
update_screen_position ();
|
2020-01-09 22:26:30 +03:00
|
|
|
}
|
|
|
|
|
2020-11-16 18:53:06 +03:00
|
|
|
private bool on_resize_button_press (Clutter.ButtonEvent event) {
|
|
|
|
if (resizing || event.button != 1) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
resizing = true;
|
|
|
|
|
|
|
|
get_current_cursor_position (out resize_start_x, out resize_start_y);
|
|
|
|
|
2020-01-09 22:26:30 +03:00
|
|
|
begin_resize_width = width;
|
|
|
|
begin_resize_height = height;
|
2020-11-16 18:53:06 +03:00
|
|
|
|
|
|
|
resize_button.get_stage ().set_motion_events_enabled (false);
|
|
|
|
resize_button.get_stage ().captured_event.connect (on_resize_event);
|
|
|
|
|
|
|
|
return true;
|
2020-01-09 22:26:30 +03:00
|
|
|
}
|
|
|
|
|
2020-11-16 18:53:06 +03:00
|
|
|
private bool on_resize_event (Clutter.Event event) {
|
|
|
|
if (!resizing) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
switch (event.get_type ()) {
|
|
|
|
case Clutter.EventType.MOTION:
|
|
|
|
var mods = event.get_state ();
|
|
|
|
if (!(Clutter.ModifierType.BUTTON1_MASK in mods)) {
|
|
|
|
stop_resizing ();
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
int motion_x, motion_y;
|
|
|
|
get_current_cursor_position (out motion_x, out motion_y);
|
|
|
|
|
|
|
|
float diff_x = motion_x - resize_start_x;
|
|
|
|
float diff_y = motion_y - resize_start_y;
|
|
|
|
|
|
|
|
width = begin_resize_width + diff_x;
|
|
|
|
height = begin_resize_height + diff_y;
|
|
|
|
|
|
|
|
update_container_scale ();
|
|
|
|
update_size ();
|
|
|
|
reposition_resize_button ();
|
|
|
|
|
|
|
|
break;
|
|
|
|
case Clutter.EventType.BUTTON_RELEASE:
|
|
|
|
if (event.get_button () == 1) {
|
|
|
|
stop_resizing ();
|
|
|
|
}
|
|
|
|
|
|
|
|
break;
|
|
|
|
case Clutter.EventType.LEAVE:
|
|
|
|
case Clutter.EventType.ENTER:
|
|
|
|
return true;
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
2020-01-09 22:26:30 +03:00
|
|
|
}
|
|
|
|
|
2020-11-16 18:53:06 +03:00
|
|
|
private bool stop_resizing () {
|
|
|
|
if (!resizing) {
|
|
|
|
return false;
|
|
|
|
}
|
2020-01-09 22:26:30 +03:00
|
|
|
|
2020-11-16 18:53:06 +03:00
|
|
|
resize_button.get_stage ().captured_event.disconnect (on_resize_event);
|
|
|
|
resize_button.get_stage ().set_motion_events_enabled (true);
|
2020-01-09 22:26:30 +03:00
|
|
|
|
2020-11-16 18:53:06 +03:00
|
|
|
resizing = false;
|
2020-01-09 22:26:30 +03:00
|
|
|
|
2020-11-16 18:53:06 +03:00
|
|
|
update_screen_position ();
|
2020-01-09 22:26:30 +03:00
|
|
|
|
2020-11-16 18:53:06 +03:00
|
|
|
return true;
|
2020-01-09 22:26:30 +03:00
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void on_allocation_changed () {
|
2020-01-09 22:26:30 +03:00
|
|
|
update_clone_clip ();
|
|
|
|
update_size ();
|
|
|
|
reposition_resize_button ();
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void on_close_click_clicked () {
|
2020-01-09 22:26:30 +03:00
|
|
|
set_easing_duration (FADE_OUT_TIMEOUT);
|
|
|
|
|
|
|
|
opacity = 0;
|
|
|
|
|
|
|
|
Clutter.Threads.Timeout.add (FADE_OUT_TIMEOUT, () => {
|
|
|
|
closed ();
|
|
|
|
return false;
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void update_window_focus () {
|
2020-01-09 22:26:30 +03:00
|
|
|
unowned Meta.Window focus_window = wm.get_display ().get_focus_window ();
|
|
|
|
if ((focus_window != null && !get_window_is_normal (focus_window))
|
|
|
|
|| (previous_focus != null && !get_window_is_normal (previous_focus))) {
|
|
|
|
previous_focus = focus_window;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
var window = window_actor.get_meta_window ();
|
|
|
|
if (window.appears_focused) {
|
|
|
|
hide ();
|
|
|
|
} else if (!window_actor.is_destroyed ()) {
|
|
|
|
show ();
|
|
|
|
}
|
|
|
|
|
|
|
|
previous_focus = focus_window;
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void update_size () {
|
2020-03-11 12:48:22 +03:00
|
|
|
if (dynamic_container) {
|
|
|
|
float src_width = 0.0f, src_height = 0.0f;
|
|
|
|
container.get_clip (null, null, out src_width, out src_height);
|
|
|
|
width = (int)(src_width * container.scale_x + button_size);
|
|
|
|
height = (int)(src_height * container.scale_y + button_size);
|
2020-01-09 22:26:30 +03:00
|
|
|
} else {
|
|
|
|
width = (int)(container.width * container.scale_x + button_size);
|
|
|
|
height = (int)(container.height * container.scale_y + button_size);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void update_clone_clip () {
|
2020-01-09 22:26:30 +03:00
|
|
|
var rect = window_actor.get_meta_window ().get_frame_rect ();
|
|
|
|
|
|
|
|
float x_offset = rect.x - window_actor.x;
|
|
|
|
float y_offset = rect.y - window_actor.y;
|
|
|
|
clone.set_clip (x_offset, y_offset, rect.width, rect.height);
|
|
|
|
clone.set_position (-x_offset, -y_offset);
|
|
|
|
|
|
|
|
container.set_size (rect.width, rect.height);
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void update_container_scale () {
|
2020-03-11 12:48:22 +03:00
|
|
|
float src_width = 1.0f, src_height = 1.0f;
|
|
|
|
if (dynamic_container) {
|
|
|
|
container.get_clip (null, null, out src_width, out src_height);
|
2020-01-09 22:26:30 +03:00
|
|
|
} else {
|
|
|
|
src_width = container.width;
|
|
|
|
src_height = container.height;
|
|
|
|
}
|
2020-01-15 03:44:21 +03:00
|
|
|
|
2020-01-09 22:26:30 +03:00
|
|
|
float max_width = width - button_size;
|
|
|
|
float max_height = height - button_size;
|
|
|
|
|
|
|
|
float new_width, new_height;
|
|
|
|
calculate_aspect_ratio_size_fit (
|
|
|
|
src_width, src_height,
|
|
|
|
max_width, max_height,
|
|
|
|
out new_width, out new_height
|
|
|
|
);
|
|
|
|
|
2020-03-11 12:48:22 +03:00
|
|
|
float window_width = 1.0f, window_height = 1.0f;
|
2020-01-09 22:26:30 +03:00
|
|
|
get_target_window_size (out window_width, out window_height);
|
|
|
|
|
|
|
|
float new_scale_x = new_width / window_width;
|
|
|
|
float new_scale_y = new_height / window_height;
|
|
|
|
|
|
|
|
container.scale_x = new_scale_x.clamp (MINIMUM_SCALE, MAXIMUM_SCALE);
|
|
|
|
container.scale_y = new_scale_y.clamp (MINIMUM_SCALE, MAXIMUM_SCALE);
|
|
|
|
|
|
|
|
update_container_position ();
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void update_container_position () {
|
2020-03-11 12:48:22 +03:00
|
|
|
if (dynamic_container) {
|
|
|
|
float clip_x = 0.0f, clip_y = 0.0f;
|
|
|
|
container.get_clip (out clip_x, out clip_y, null, null);
|
|
|
|
container.x = (float)(-clip_x * container.scale_x + container_margin);
|
|
|
|
container.y = (float)(-clip_y * container.scale_y + container_margin);
|
2020-01-09 22:26:30 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void update_screen_position () {
|
2020-01-09 22:26:30 +03:00
|
|
|
Meta.Rectangle monitor_rect;
|
|
|
|
get_current_monitor_rect (out monitor_rect);
|
|
|
|
|
|
|
|
int monitor_x = monitor_rect.x;
|
|
|
|
int monitor_y = monitor_rect.y;
|
|
|
|
int monitor_width = monitor_rect.width;
|
|
|
|
int monitor_height = monitor_rect.height;
|
|
|
|
|
|
|
|
set_easing_duration (300);
|
|
|
|
set_easing_mode (Clutter.AnimationMode.EASE_OUT_BACK);
|
|
|
|
|
|
|
|
var screen_limit_start = SCREEN_MARGIN + monitor_x;
|
|
|
|
var screen_limit_end = monitor_width + monitor_x - SCREEN_MARGIN - width;
|
|
|
|
|
|
|
|
x = x.clamp (screen_limit_start, screen_limit_end);
|
|
|
|
|
|
|
|
screen_limit_start = SCREEN_MARGIN + monitor_y;
|
|
|
|
screen_limit_end = monitor_height + monitor_y - SCREEN_MARGIN - height;
|
|
|
|
|
|
|
|
y = y.clamp (screen_limit_start, screen_limit_end);
|
|
|
|
|
|
|
|
set_easing_mode (Clutter.AnimationMode.EASE_IN_QUAD);
|
|
|
|
set_easing_duration (0);
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void reposition_resize_button () {
|
2020-01-09 22:26:30 +03:00
|
|
|
resize_button.set_position (width - button_size, height - button_size);
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void get_current_monitor_rect (out Meta.Rectangle rect) {
|
2020-01-09 22:26:30 +03:00
|
|
|
var display = wm.get_display ();
|
|
|
|
rect = display.get_monitor_geometry (display.get_current_monitor ());
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void get_target_window_size (out float width, out float height) {
|
2020-03-11 12:48:22 +03:00
|
|
|
if (dynamic_container) {
|
|
|
|
container.get_clip (null, null, out width, out height);
|
2020-01-09 22:26:30 +03:00
|
|
|
} else if (clone.has_clip) {
|
2020-03-11 12:48:22 +03:00
|
|
|
clone.get_clip (null, null, out width, out height);
|
2020-01-09 22:26:30 +03:00
|
|
|
} else {
|
|
|
|
width = clone.width;
|
|
|
|
height = clone.height;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-01-15 03:44:21 +03:00
|
|
|
private void activate () {
|
2020-01-09 22:26:30 +03:00
|
|
|
var window = window_actor.get_meta_window ();
|
|
|
|
window.activate (Clutter.get_current_event_time ());
|
|
|
|
}
|
2017-07-08 09:30:31 +03:00
|
|
|
}
|