2011-09-28 09:16:26 -04:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2008-10-31 14:09:20 -04:00
|
|
|
|
2011-02-08 21:12:10 -05:00
|
|
|
const Cairo = imports.cairo;
|
2008-10-31 14:09:20 -04:00
|
|
|
const Clutter = imports.gi.Clutter;
|
2010-05-05 17:05:42 -04:00
|
|
|
const Gio = imports.gi.Gio;
|
2011-05-15 12:55:23 -04:00
|
|
|
const GLib = imports.gi.GLib;
|
2012-03-27 09:26:20 -04:00
|
|
|
const Gtk = imports.gi.Gtk;
|
2009-05-07 09:54:21 -04:00
|
|
|
const Lang = imports.lang;
|
2008-11-21 08:54:25 -05:00
|
|
|
const Mainloop = imports.mainloop;
|
2011-10-04 11:14:29 -04:00
|
|
|
const Meta = imports.gi.Meta;
|
2010-05-25 10:21:22 -04:00
|
|
|
const Pango = imports.gi.Pango;
|
2008-11-19 18:04:53 -05:00
|
|
|
const Shell = imports.gi.Shell;
|
2009-09-30 10:02:08 -04:00
|
|
|
const St = imports.gi.St;
|
2009-08-11 11:32:58 -04:00
|
|
|
const Signals = imports.signals;
|
2012-02-27 11:31:10 -05:00
|
|
|
const Atk = imports.gi.Atk;
|
2008-10-31 14:09:20 -04:00
|
|
|
|
2013-06-18 07:35:41 -04:00
|
|
|
const Animation = imports.ui.animation;
|
2012-08-28 17:10:44 -04:00
|
|
|
const Config = imports.misc.config;
|
2011-02-07 11:29:34 -05:00
|
|
|
const CtrlAltTab = imports.ui.ctrlAltTab;
|
2012-02-11 05:14:43 -05:00
|
|
|
const DND = imports.ui.dnd;
|
2010-05-12 17:07:41 -04:00
|
|
|
const Overview = imports.ui.overview;
|
2010-05-20 11:18:46 -04:00
|
|
|
const PopupMenu = imports.ui.popupMenu;
|
2010-06-22 17:02:26 -04:00
|
|
|
const PanelMenu = imports.ui.panelMenu;
|
2013-05-09 17:35:57 -04:00
|
|
|
const RemoteMenu = imports.ui.remoteMenu;
|
2008-11-09 13:01:59 -05:00
|
|
|
const Main = imports.ui.main;
|
2010-05-20 11:18:46 -04:00
|
|
|
const Tweener = imports.ui.tweener;
|
2008-10-31 19:09:46 -04:00
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
var PANEL_ICON_SIZE = 16;
|
|
|
|
var APP_MENU_ICON_MARGIN = 0;
|
2009-08-11 11:32:58 -04:00
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
var BUTTON_DND_ACTIVATION_TIMEOUT = 250;
|
2011-01-05 09:47:27 -05:00
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
var SPINNER_ANIMATION_TIME = 1.0;
|
2010-06-10 08:07:33 -04:00
|
|
|
|
2011-02-08 21:12:10 -05:00
|
|
|
// To make sure the panel corners blend nicely with the panel,
|
|
|
|
// we draw background and borders the same way, e.g. drawing
|
|
|
|
// them as filled shapes from the outside inwards instead of
|
|
|
|
// using cairo stroke(). So in order to give the border the
|
|
|
|
// appearance of being drawn on top of the background, we need
|
|
|
|
// to blend border and background color together.
|
|
|
|
// For that purpose we use the following helper methods, taken
|
|
|
|
// from st-theme-node-drawing.c
|
|
|
|
function _norm(x) {
|
|
|
|
return Math.round(x / 255);
|
|
|
|
}
|
|
|
|
|
|
|
|
function _over(srcColor, dstColor) {
|
|
|
|
let src = _premultiply(srcColor);
|
|
|
|
let dst = _premultiply(dstColor);
|
|
|
|
let result = new Clutter.Color();
|
|
|
|
|
|
|
|
result.alpha = src.alpha + _norm((255 - src.alpha) * dst.alpha);
|
|
|
|
result.red = src.red + _norm((255 - src.alpha) * dst.red);
|
|
|
|
result.green = src.green + _norm((255 - src.alpha) * dst.green);
|
|
|
|
result.blue = src.blue + _norm((255 - src.alpha) * dst.blue);
|
|
|
|
|
|
|
|
return _unpremultiply(result);
|
|
|
|
}
|
|
|
|
|
|
|
|
function _premultiply(color) {
|
|
|
|
return new Clutter.Color({ red: _norm(color.red * color.alpha),
|
|
|
|
green: _norm(color.green * color.alpha),
|
|
|
|
blue: _norm(color.blue * color.alpha),
|
|
|
|
alpha: color.alpha });
|
|
|
|
};
|
|
|
|
|
|
|
|
function _unpremultiply(color) {
|
|
|
|
if (color.alpha == 0)
|
|
|
|
return new Clutter.Color();
|
|
|
|
|
|
|
|
let red = Math.min((color.red * 255 + 127) / color.alpha, 255);
|
|
|
|
let green = Math.min((color.green * 255 + 127) / color.alpha, 255);
|
|
|
|
let blue = Math.min((color.blue * 255 + 127) / color.alpha, 255);
|
|
|
|
return new Clutter.Color({ red: red, green: green,
|
|
|
|
blue: blue, alpha: color.alpha });
|
|
|
|
};
|
|
|
|
|
2009-12-26 12:00:36 -05:00
|
|
|
/**
|
2010-05-05 10:03:48 -04:00
|
|
|
* AppMenuButton:
|
2009-12-26 12:00:36 -05:00
|
|
|
*
|
|
|
|
* This class manages the "application menu" component. It tracks the
|
|
|
|
* currently focused application. However, when an app is launched,
|
|
|
|
* this menu also handles startup notification for it. So when we
|
|
|
|
* have an active startup notification, we switch modes to display that.
|
|
|
|
*/
|
2017-07-18 13:41:25 -04:00
|
|
|
var AppMenuButton = new Lang.Class({
|
2011-11-20 09:38:48 -05:00
|
|
|
Name: 'AppMenuButton',
|
|
|
|
Extends: PanelMenu.Button,
|
2010-05-05 10:03:48 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_init(panel) {
|
2012-01-05 13:00:06 -05:00
|
|
|
this.parent(0.0, null, true);
|
2011-05-15 12:55:23 -04:00
|
|
|
|
2012-02-27 11:31:10 -05:00
|
|
|
this.actor.accessible_role = Atk.Role.MENU;
|
|
|
|
|
2010-10-06 17:31:22 -04:00
|
|
|
this._startingApps = [];
|
2009-08-11 11:32:58 -04:00
|
|
|
|
2012-08-28 17:10:44 -04:00
|
|
|
this._menuManager = panel.menuManager;
|
2015-03-10 10:33:50 -04:00
|
|
|
this._gtkSettings = Gtk.Settings.get_default();
|
2010-10-06 17:31:22 -04:00
|
|
|
this._targetApp = null;
|
2011-12-08 15:55:51 -05:00
|
|
|
this._appMenuNotifyId = 0;
|
2011-12-15 01:25:35 -05:00
|
|
|
this._actionGroupNotifyId = 0;
|
2014-09-16 06:08:19 -04:00
|
|
|
this._busyNotifyId = 0;
|
2009-08-11 11:32:58 -04:00
|
|
|
|
2010-05-05 10:03:48 -04:00
|
|
|
let bin = new St.Bin({ name: 'appMenu' });
|
2017-12-01 19:27:35 -05:00
|
|
|
bin.connect('style-changed', this._onStyleChanged.bind(this));
|
2011-06-09 11:50:24 -04:00
|
|
|
this.actor.add_actor(bin);
|
2011-03-08 12:46:43 -05:00
|
|
|
|
2011-11-15 19:23:04 -05:00
|
|
|
this.actor.bind_property("reactive", this.actor, "can-focus", 0);
|
2011-03-08 12:46:43 -05:00
|
|
|
this.actor.reactive = false;
|
|
|
|
|
2014-11-11 10:30:11 -05:00
|
|
|
this._container = new St.BoxLayout({ style_class: 'panel-status-menu-box' });
|
2010-05-05 10:03:48 -04:00
|
|
|
bin.set_child(this._container);
|
2010-03-12 15:57:01 -05:00
|
|
|
|
2012-10-30 13:30:21 -04:00
|
|
|
let textureCache = St.TextureCache.get_default();
|
|
|
|
textureCache.connect('icon-theme-changed',
|
2017-12-01 19:27:35 -05:00
|
|
|
this._onIconThemeChanged.bind(this));
|
2012-10-30 13:30:21 -04:00
|
|
|
|
2015-01-14 09:34:04 -05:00
|
|
|
this._iconBox = new St.Bin({ style_class: 'app-menu-icon' });
|
2010-02-28 15:36:13 -05:00
|
|
|
this._container.add_actor(this._iconBox);
|
2013-08-12 08:36:38 -04:00
|
|
|
|
2015-03-04 14:11:29 -05:00
|
|
|
this._label = new St.Label({ y_expand: true,
|
|
|
|
y_align: Clutter.ActorAlign.CENTER });
|
2015-02-18 15:39:33 -05:00
|
|
|
this._container.add_actor(this._label);
|
2014-02-18 07:45:26 -05:00
|
|
|
this._arrow = PopupMenu.arrowIcon(St.Side.BOTTOM);
|
2014-11-11 10:30:11 -05:00
|
|
|
this._container.add_actor(this._arrow);
|
2011-03-29 05:49:50 -04:00
|
|
|
|
2015-03-10 10:33:50 -04:00
|
|
|
this._visible = this._gtkSettings.gtk_shell_shows_app_menu &&
|
|
|
|
!Main.overview.visible;
|
2010-05-12 17:30:14 -04:00
|
|
|
if (!this._visible)
|
2011-02-16 15:17:46 -05:00
|
|
|
this.actor.hide();
|
2017-12-01 19:27:35 -05:00
|
|
|
this._overviewHidingId = Main.overview.connect('hiding', this._sync.bind(this));
|
|
|
|
this._overviewShowingId = Main.overview.connect('showing', this._sync.bind(this));
|
2015-03-10 10:33:50 -04:00
|
|
|
this._showsAppMenuId = this._gtkSettings.connect('notify::gtk-shell-shows-app-menu',
|
2017-12-01 19:27:35 -05:00
|
|
|
this._sync.bind(this));
|
2009-08-11 11:32:58 -04:00
|
|
|
|
2011-03-11 18:37:43 -05:00
|
|
|
this._stop = true;
|
2013-04-15 18:40:00 -04:00
|
|
|
|
2013-04-16 10:57:46 -04:00
|
|
|
this._spinner = null;
|
2010-06-10 08:07:33 -04:00
|
|
|
|
2009-10-15 19:28:29 -04:00
|
|
|
let tracker = Shell.WindowTracker.get_default();
|
apps: Ensure running apps override new .desktop file data
This patch fixes the "apps vanish from alt-TAB bug".
If a "package system" rips away and possibly replaces .desktop files
at some random time, we have historically used inotify to detect this
and reread state (in a racy way, but...). In GNOME 2, this was
generally not too problematic because the menu widget was totally
separate from the list of windows - and the data they operate on was
disjoint as well.
In GNOME 3 we unify these, and this creates architectural problems
because the windows are tied to the app.
What this patch tries to do is, when rereading the application state,
if we have a running application, we keep that app around instead of
making a new instance. This ensures we preserve any state such as the
set of open windows.
This requires moving the running state into ShellAppSystem. Adjust
callers as necessary, and while we're at it drop the unused "contexts"
stuff.
This is just a somewhat quick band-aid; a REAL fix would require us
having low-level control over application installation. As long as
we're on top of random broken tar+wget wrappers, it will be gross.
A slight future improvement to this patch would add an explicit
"merge" between the old and new data. I think probably we always keep
around the ShellApp corresponding to a given ID, but replace its
GMenuTreeEntry.
https://bugzilla.gnome.org/show_bug.cgi?id=657990
2011-09-03 10:32:06 -04:00
|
|
|
let appSys = Shell.AppSystem.get_default();
|
2013-04-21 19:49:14 -04:00
|
|
|
this._focusAppNotifyId =
|
2017-12-01 19:27:35 -05:00
|
|
|
tracker.connect('notify::focus-app', this._focusAppChanged.bind(this));
|
2013-04-21 19:49:14 -04:00
|
|
|
this._appStateChangedSignalId =
|
2017-12-01 19:27:35 -05:00
|
|
|
appSys.connect('app-state-changed', this._onAppStateChanged.bind(this));
|
2013-04-21 19:49:14 -04:00
|
|
|
this._switchWorkspaceNotifyId =
|
2017-12-01 19:27:35 -05:00
|
|
|
global.window_manager.connect('switch-workspace', this._sync.bind(this));
|
2010-10-06 17:31:22 -04:00
|
|
|
|
2009-08-11 11:32:58 -04:00
|
|
|
this._sync();
|
2010-05-12 17:30:14 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
show() {
|
2013-01-27 09:45:04 -05:00
|
|
|
if (this._visible)
|
2010-05-12 17:30:14 -04:00
|
|
|
return;
|
|
|
|
|
2011-02-16 15:17:46 -05:00
|
|
|
this._visible = true;
|
2012-03-13 14:14:18 -04:00
|
|
|
this.actor.reactive = true;
|
2013-08-13 07:41:44 -04:00
|
|
|
this.actor.show();
|
2013-09-10 03:53:33 -04:00
|
|
|
Tweener.removeTweens(this.actor);
|
2010-05-12 17:30:14 -04:00
|
|
|
Tweener.addTween(this.actor,
|
|
|
|
{ opacity: 255,
|
|
|
|
time: Overview.ANIMATION_TIME,
|
2011-02-16 15:17:46 -05:00
|
|
|
transition: 'easeOutQuad' });
|
2010-05-12 17:30:14 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
hide() {
|
2010-05-12 17:30:14 -04:00
|
|
|
if (!this._visible)
|
|
|
|
return;
|
|
|
|
|
2011-02-16 15:17:46 -05:00
|
|
|
this._visible = false;
|
2011-05-07 03:12:52 -04:00
|
|
|
this.actor.reactive = false;
|
2013-09-10 03:53:33 -04:00
|
|
|
Tweener.removeTweens(this.actor);
|
2010-05-12 17:30:14 -04:00
|
|
|
Tweener.addTween(this.actor,
|
|
|
|
{ opacity: 0,
|
|
|
|
time: Overview.ANIMATION_TIME,
|
|
|
|
transition: 'easeOutQuad',
|
2017-10-30 20:03:21 -04:00
|
|
|
onComplete() {
|
2010-05-12 17:30:14 -04:00
|
|
|
this.actor.hide();
|
|
|
|
},
|
|
|
|
onCompleteScope: this });
|
2009-08-11 11:32:58 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onStyleChanged(actor) {
|
2013-04-16 10:57:46 -04:00
|
|
|
let node = actor.get_theme_node();
|
|
|
|
let [success, icon] = node.lookup_url('spinner-image', false);
|
2014-09-18 20:04:00 -04:00
|
|
|
if (!success || (this._spinnerIcon && this._spinnerIcon.equal(icon)))
|
2013-04-16 10:57:46 -04:00
|
|
|
return;
|
|
|
|
this._spinnerIcon = icon;
|
2013-06-18 07:35:41 -04:00
|
|
|
this._spinner = new Animation.AnimatedIcon(this._spinnerIcon, PANEL_ICON_SIZE);
|
2014-11-11 10:30:11 -05:00
|
|
|
this._container.add_actor(this._spinner.actor);
|
2013-04-16 10:57:46 -04:00
|
|
|
this._spinner.actor.hide();
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_syncIcon() {
|
2013-08-13 07:41:44 -04:00
|
|
|
if (!this._targetApp)
|
|
|
|
return;
|
|
|
|
|
2014-11-11 10:30:11 -05:00
|
|
|
let icon = this._targetApp.create_icon_texture(PANEL_ICON_SIZE - APP_MENU_ICON_MARGIN);
|
2013-07-19 15:39:48 -04:00
|
|
|
this._iconBox.set_child(icon);
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onIconThemeChanged() {
|
2012-10-30 13:30:21 -04:00
|
|
|
if (this._iconBox.child == null)
|
|
|
|
return;
|
|
|
|
|
2013-07-19 15:39:48 -04:00
|
|
|
this._syncIcon();
|
2012-10-30 13:30:21 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
stopAnimation() {
|
2011-03-11 18:37:43 -05:00
|
|
|
if (this._stop)
|
|
|
|
return;
|
2010-06-10 08:07:33 -04:00
|
|
|
|
2011-03-11 18:37:43 -05:00
|
|
|
this._stop = true;
|
2013-04-16 10:57:46 -04:00
|
|
|
|
|
|
|
if (this._spinner == null)
|
|
|
|
return;
|
|
|
|
|
2011-03-11 18:37:43 -05:00
|
|
|
Tweener.addTween(this._spinner.actor,
|
|
|
|
{ opacity: 0,
|
|
|
|
time: SPINNER_ANIMATION_TIME,
|
|
|
|
transition: "easeOutQuad",
|
|
|
|
onCompleteScope: this,
|
2017-10-30 20:03:21 -04:00
|
|
|
onComplete() {
|
2012-11-05 17:11:27 -05:00
|
|
|
this._spinner.stop();
|
2011-03-11 18:37:43 -05:00
|
|
|
this._spinner.actor.opacity = 255;
|
|
|
|
this._spinner.actor.hide();
|
|
|
|
}
|
|
|
|
});
|
2010-06-10 08:07:33 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
startAnimation() {
|
2010-06-10 08:07:33 -04:00
|
|
|
this._stop = false;
|
2013-04-16 10:57:46 -04:00
|
|
|
|
|
|
|
if (this._spinner == null)
|
|
|
|
return;
|
|
|
|
|
2012-11-05 17:11:27 -05:00
|
|
|
this._spinner.play();
|
2010-06-10 08:07:33 -04:00
|
|
|
this._spinner.actor.show();
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onAppStateChanged(appSys, app) {
|
2010-06-10 08:07:33 -04:00
|
|
|
let state = app.state;
|
2017-10-30 20:38:18 -04:00
|
|
|
if (state != Shell.AppState.STARTING)
|
|
|
|
this._startingApps = this._startingApps.filter(a => a != app);
|
|
|
|
else if (state == Shell.AppState.STARTING)
|
2010-10-06 17:31:22 -04:00
|
|
|
this._startingApps.push(app);
|
2010-06-10 08:07:33 -04:00
|
|
|
// For now just resync on all running state changes; this is mainly to handle
|
|
|
|
// cases where the focused window's application changes without the focus
|
|
|
|
// changing. An example case is how we map OpenOffice.org based on the window
|
|
|
|
// title which is a dynamic property.
|
|
|
|
this._sync();
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_focusAppChanged() {
|
2009-10-15 19:28:29 -04:00
|
|
|
let tracker = Shell.WindowTracker.get_default();
|
|
|
|
let focusedApp = tracker.focus_app;
|
2010-07-02 15:36:56 -04:00
|
|
|
if (!focusedApp) {
|
|
|
|
// If the app has just lost focus to the panel, pretend
|
|
|
|
// nothing happened; otherwise you can't keynav to the
|
|
|
|
// app menu.
|
Rework window / actor focus handling
The duality of the Clutter's key focus and mutter's window focus has long been
a problem for us in lots of case, and caused us to create large and complicated
hacks to get around the issue, including GrabHelper's focus grab model.
Instead of doing this, tie basic focus management into the core of gnome-shell,
instead of requiring complex "application-level" management to get it done
right.
Do this by making sure that only one of an actor or window can be focused at
the same time, and apply the appropriate logic to drop one or the other,
reactively.
Modals are considered a special case, as we grab all keyboard events, but at
the X level, the client window still has focus. Make sure to not do any input
synchronization when we have a modal.
At the same time, remove the FOCUSED input mode, as it's no longer necessary.
https://bugzilla.gnome.org/show_bug.cgi?id=700735
2013-05-18 00:18:13 -04:00
|
|
|
if (global.stage.key_focus != null)
|
2010-07-02 15:36:56 -04:00
|
|
|
return;
|
|
|
|
}
|
2012-03-13 14:20:37 -04:00
|
|
|
this._sync();
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_findTargetApp() {
|
2018-01-03 02:55:38 -05:00
|
|
|
let workspaceManager = global.workspace_manager;
|
|
|
|
let workspace = workspaceManager.get_active_workspace();
|
2012-03-13 14:20:37 -04:00
|
|
|
let tracker = Shell.WindowTracker.get_default();
|
|
|
|
let focusedApp = tracker.focus_app;
|
2013-08-13 07:41:44 -04:00
|
|
|
if (focusedApp && focusedApp.is_on_workspace(workspace))
|
|
|
|
return focusedApp;
|
|
|
|
|
2012-03-13 14:20:37 -04:00
|
|
|
for (let i = 0; i < this._startingApps.length; i++)
|
|
|
|
if (this._startingApps[i].is_on_workspace(workspace))
|
2013-08-13 07:41:44 -04:00
|
|
|
return this._startingApps[i];
|
2010-07-02 15:36:56 -04:00
|
|
|
|
2013-08-13 07:41:44 -04:00
|
|
|
return null;
|
|
|
|
},
|
2011-03-08 12:46:43 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_sync() {
|
2013-08-13 07:41:44 -04:00
|
|
|
let targetApp = this._findTargetApp();
|
2011-11-15 19:12:58 -05:00
|
|
|
|
2013-08-13 07:41:44 -04:00
|
|
|
if (this._targetApp != targetApp) {
|
|
|
|
if (this._appMenuNotifyId) {
|
|
|
|
this._targetApp.disconnect(this._appMenuNotifyId);
|
|
|
|
this._appMenuNotifyId = 0;
|
|
|
|
}
|
|
|
|
if (this._actionGroupNotifyId) {
|
|
|
|
this._targetApp.disconnect(this._actionGroupNotifyId);
|
|
|
|
this._actionGroupNotifyId = 0;
|
|
|
|
}
|
2014-09-16 06:08:19 -04:00
|
|
|
if (this._busyNotifyId) {
|
|
|
|
this._targetApp.disconnect(this._busyNotifyId);
|
|
|
|
this._busyNotifyId = 0;
|
|
|
|
}
|
2011-03-08 12:46:43 -05:00
|
|
|
|
2013-08-13 07:41:44 -04:00
|
|
|
this._targetApp = targetApp;
|
2011-03-08 12:46:43 -05:00
|
|
|
|
2013-08-13 07:41:44 -04:00
|
|
|
if (this._targetApp) {
|
2017-12-01 19:27:35 -05:00
|
|
|
this._appMenuNotifyId = this._targetApp.connect('notify::menu', this._sync.bind(this));
|
|
|
|
this._actionGroupNotifyId = this._targetApp.connect('notify::action-group', this._sync.bind(this));
|
|
|
|
this._busyNotifyId = this._targetApp.connect('notify::busy', this._sync.bind(this));
|
2015-02-18 15:39:33 -05:00
|
|
|
this._label.set_text(this._targetApp.get_name());
|
2013-08-13 07:41:44 -04:00
|
|
|
this.actor.set_accessible_name(this._targetApp.get_name());
|
2011-05-15 12:55:23 -04:00
|
|
|
}
|
2011-03-08 12:46:43 -05:00
|
|
|
}
|
|
|
|
|
2018-08-23 09:56:50 -04:00
|
|
|
let shellShowsAppMenu = this._gtkSettings.gtk_shell_shows_app_menu;
|
|
|
|
Meta.prefs_set_show_fallback_app_menu(!shellShowsAppMenu);
|
|
|
|
|
2015-03-10 10:33:50 -04:00
|
|
|
let visible = (this._targetApp != null &&
|
2018-08-23 09:56:50 -04:00
|
|
|
shellShowsAppMenu &&
|
2015-03-10 10:33:50 -04:00
|
|
|
!Main.overview.visibleTarget);
|
2013-08-13 07:41:44 -04:00
|
|
|
if (visible)
|
|
|
|
this.show();
|
|
|
|
else
|
|
|
|
this.hide();
|
2010-06-10 08:07:33 -04:00
|
|
|
|
2013-08-13 07:41:44 -04:00
|
|
|
let isBusy = (this._targetApp != null &&
|
|
|
|
(this._targetApp.get_state() == Shell.AppState.STARTING ||
|
2014-09-16 06:08:19 -04:00
|
|
|
this._targetApp.get_busy()));
|
2013-08-13 07:41:44 -04:00
|
|
|
if (isBusy)
|
2011-03-08 12:46:43 -05:00
|
|
|
this.startAnimation();
|
2011-05-15 12:55:23 -04:00
|
|
|
else
|
2013-08-13 07:41:44 -04:00
|
|
|
this.stopAnimation();
|
2009-08-11 11:32:58 -04:00
|
|
|
|
2013-08-13 07:41:44 -04:00
|
|
|
this.actor.reactive = (visible && !isBusy);
|
|
|
|
|
|
|
|
this._syncIcon();
|
|
|
|
this._maybeSetMenu();
|
2009-08-11 11:32:58 -04:00
|
|
|
this.emit('changed');
|
2011-05-15 12:55:23 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_maybeSetMenu() {
|
2011-05-15 12:55:23 -04:00
|
|
|
let menu;
|
|
|
|
|
2013-08-13 07:41:44 -04:00
|
|
|
if (this._targetApp == null) {
|
|
|
|
menu = null;
|
|
|
|
} else if (this._targetApp.action_group && this._targetApp.menu) {
|
2013-05-09 17:35:57 -04:00
|
|
|
if (this.menu instanceof RemoteMenu.RemoteMenu &&
|
2011-05-15 12:55:23 -04:00
|
|
|
this.menu.actionGroup == this._targetApp.action_group)
|
|
|
|
return;
|
|
|
|
|
2013-05-09 17:35:57 -04:00
|
|
|
menu = new RemoteMenu.RemoteMenu(this.actor, this._targetApp.menu, this._targetApp.action_group);
|
2017-10-30 20:38:18 -04:00
|
|
|
menu.connect('activate', () => {
|
2012-12-24 12:28:17 -05:00
|
|
|
let win = this._targetApp.get_windows()[0];
|
|
|
|
win.check_alive(global.get_current_time());
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2012-12-24 12:28:17 -05:00
|
|
|
|
2011-05-15 12:55:23 -04:00
|
|
|
} else {
|
2013-08-13 07:41:44 -04:00
|
|
|
if (this.menu && this.menu.isDummyQuitMenu)
|
2011-05-15 12:55:23 -04:00
|
|
|
return;
|
|
|
|
|
|
|
|
// fallback to older menu
|
|
|
|
menu = new PopupMenu.PopupMenu(this.actor, 0.0, St.Side.TOP, 0);
|
2012-12-04 14:52:34 -05:00
|
|
|
menu.isDummyQuitMenu = true;
|
2017-10-30 20:38:18 -04:00
|
|
|
menu.addAction(_("Quit"), () => {
|
2011-05-15 12:55:23 -04:00
|
|
|
this._targetApp.request_quit();
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2011-05-15 12:55:23 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
this.setMenu(menu);
|
2013-08-13 07:41:44 -04:00
|
|
|
if (menu)
|
|
|
|
this._menuManager.addMenu(menu);
|
2013-04-21 19:49:14 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
destroy() {
|
2013-04-21 19:49:14 -04:00
|
|
|
if (this._appStateChangedSignalId > 0) {
|
|
|
|
let appSys = Shell.AppSystem.get_default();
|
|
|
|
appSys.disconnect(this._appStateChangedSignalId);
|
|
|
|
this._appStateChangedSignalId = 0;
|
|
|
|
}
|
|
|
|
if (this._focusAppNotifyId > 0) {
|
|
|
|
let tracker = Shell.WindowTracker.get_default();
|
|
|
|
tracker.disconnect(this._focusAppNotifyId);
|
|
|
|
this._focusAppNotifyId = 0;
|
|
|
|
}
|
|
|
|
if (this._overviewHidingId > 0) {
|
|
|
|
Main.overview.disconnect(this._overviewHidingId);
|
|
|
|
this._overviewHidingId = 0;
|
|
|
|
}
|
|
|
|
if (this._overviewShowingId > 0) {
|
|
|
|
Main.overview.disconnect(this._overviewShowingId);
|
|
|
|
this._overviewShowingId = 0;
|
|
|
|
}
|
2015-03-10 10:33:50 -04:00
|
|
|
if (this._showsAppMenuId > 0) {
|
|
|
|
this._gtkSettings.disconnect(this._showsAppMenuId);
|
|
|
|
this._showsAppMenuId = 0;
|
|
|
|
}
|
2013-04-21 19:49:14 -04:00
|
|
|
if (this._switchWorkspaceNotifyId > 0) {
|
|
|
|
global.window_manager.disconnect(this._switchWorkspaceNotifyId);
|
|
|
|
this._switchWorkspaceNotifyId = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
this.parent();
|
2009-08-11 11:32:58 -04:00
|
|
|
}
|
2011-11-20 09:38:48 -05:00
|
|
|
});
|
2009-08-11 11:32:58 -04:00
|
|
|
|
2010-05-05 10:03:48 -04:00
|
|
|
Signals.addSignalMethods(AppMenuButton.prototype);
|
2009-08-11 11:32:58 -04:00
|
|
|
|
2017-07-18 13:41:25 -04:00
|
|
|
var ActivitiesButton = new Lang.Class({
|
2011-11-20 09:38:48 -05:00
|
|
|
Name: 'ActivitiesButton',
|
|
|
|
Extends: PanelMenu.Button,
|
2011-07-14 08:56:14 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_init() {
|
2012-12-03 14:32:06 -05:00
|
|
|
this.parent(0.0, null, true);
|
2012-02-27 11:31:10 -05:00
|
|
|
this.actor.accessible_role = Atk.Role.TOGGLE_BUTTON;
|
2011-07-14 08:56:14 -04:00
|
|
|
|
2011-07-14 08:35:55 -04:00
|
|
|
this.actor.name = 'panelActivities';
|
|
|
|
|
2011-07-14 08:53:44 -04:00
|
|
|
/* Translators: If there is no suitable word for "Activities"
|
|
|
|
in your language, you can use the word for "Overview". */
|
2013-08-03 08:30:46 -04:00
|
|
|
this._label = new St.Label({ text: _("Activities"),
|
|
|
|
y_align: Clutter.ActorAlign.CENTER });
|
2013-03-01 16:00:37 -05:00
|
|
|
this.actor.add_actor(this._label);
|
2011-07-14 08:35:55 -04:00
|
|
|
|
2012-02-17 12:16:53 -05:00
|
|
|
this.actor.label_actor = this._label;
|
|
|
|
|
2017-12-01 19:27:35 -05:00
|
|
|
this.actor.connect('captured-event', this._onCapturedEvent.bind(this));
|
|
|
|
this.actor.connect_after('key-release-event', this._onKeyRelease.bind(this));
|
2011-07-14 08:53:44 -04:00
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
Main.overview.connect('showing', () => {
|
2011-07-14 08:56:14 -04:00
|
|
|
this.actor.add_style_pseudo_class('overview');
|
2012-03-09 20:06:03 -05:00
|
|
|
this.actor.add_accessible_state (Atk.StateType.CHECKED);
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
|
|
|
Main.overview.connect('hiding', () => {
|
2011-07-14 08:56:14 -04:00
|
|
|
this.actor.remove_style_pseudo_class('overview');
|
2012-03-09 20:06:03 -05:00
|
|
|
this.actor.remove_accessible_state (Atk.StateType.CHECKED);
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2011-07-14 08:53:44 -04:00
|
|
|
|
|
|
|
this._xdndTimeOut = 0;
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
handleDragOver(source, actor, x, y, time) {
|
2011-07-14 08:53:44 -04:00
|
|
|
if (source != Main.xdndHandler)
|
2012-02-11 05:14:43 -05:00
|
|
|
return DND.DragMotionResult.CONTINUE;
|
2011-07-14 08:53:44 -04:00
|
|
|
|
|
|
|
if (this._xdndTimeOut != 0)
|
|
|
|
Mainloop.source_remove(this._xdndTimeOut);
|
2017-12-01 19:27:35 -05:00
|
|
|
this._xdndTimeOut = Mainloop.timeout_add(BUTTON_DND_ACTIVATION_TIMEOUT, () => {
|
|
|
|
this._xdndToggleOverview(actor);
|
|
|
|
});
|
2014-04-10 13:26:52 -04:00
|
|
|
GLib.Source.set_name_by_id(this._xdndTimeOut, '[gnome-shell] this._xdndToggleOverview');
|
2012-02-11 05:14:43 -05:00
|
|
|
|
|
|
|
return DND.DragMotionResult.CONTINUE;
|
2011-07-14 08:53:44 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onCapturedEvent(actor, event) {
|
2014-07-22 06:32:39 -04:00
|
|
|
if (event.type() == Clutter.EventType.BUTTON_PRESS ||
|
|
|
|
event.type() == Clutter.EventType.TOUCH_BEGIN) {
|
2013-03-01 16:00:37 -05:00
|
|
|
if (!Main.overview.shouldToggleByCornerOrButton())
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2011-07-14 08:56:14 -04:00
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2011-07-14 08:56:14 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onEvent(actor, event) {
|
2014-07-31 11:26:47 -04:00
|
|
|
this.parent(actor, event);
|
2014-07-22 06:32:39 -04:00
|
|
|
|
2014-07-31 11:26:47 -04:00
|
|
|
if (event.type() == Clutter.EventType.TOUCH_END ||
|
|
|
|
event.type() == Clutter.EventType.BUTTON_RELEASE)
|
2015-10-22 12:12:28 -04:00
|
|
|
if (Main.overview.shouldToggleByCornerOrButton())
|
|
|
|
Main.overview.toggle();
|
2014-07-31 11:26:47 -04:00
|
|
|
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2011-07-14 08:56:14 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onKeyRelease(actor, event) {
|
2011-07-14 08:56:14 -04:00
|
|
|
let symbol = event.get_key_symbol();
|
|
|
|
if (symbol == Clutter.KEY_Return || symbol == Clutter.KEY_space) {
|
2015-10-22 12:12:28 -04:00
|
|
|
if (Main.overview.shouldToggleByCornerOrButton())
|
|
|
|
Main.overview.toggle();
|
2011-07-14 08:56:14 -04:00
|
|
|
}
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2011-07-14 08:56:14 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_xdndToggleOverview(actor) {
|
2011-07-14 08:53:44 -04:00
|
|
|
let [x, y, mask] = global.get_pointer();
|
|
|
|
let pickedActor = global.stage.get_actor_at_pos(Clutter.PickMode.REACTIVE, x, y);
|
|
|
|
|
2013-03-04 17:02:02 -05:00
|
|
|
if (pickedActor == this.actor && Main.overview.shouldToggleByCornerOrButton())
|
|
|
|
Main.overview.toggle();
|
2011-07-14 08:53:44 -04:00
|
|
|
|
|
|
|
Mainloop.source_remove(this._xdndTimeOut);
|
|
|
|
this._xdndTimeOut = 0;
|
2013-11-28 19:45:39 -05:00
|
|
|
return GLib.SOURCE_REMOVE;
|
2011-07-14 08:53:44 -04:00
|
|
|
}
|
2011-11-20 12:56:27 -05:00
|
|
|
});
|
2011-02-08 21:12:10 -05:00
|
|
|
|
2017-07-18 13:41:25 -04:00
|
|
|
var PanelCorner = new Lang.Class({
|
2011-11-20 12:56:27 -05:00
|
|
|
Name: 'PanelCorner',
|
2011-02-08 21:12:10 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_init(side) {
|
2011-02-08 21:12:10 -05:00
|
|
|
this._side = side;
|
2011-08-28 16:07:25 -04:00
|
|
|
|
2011-02-08 21:12:10 -05:00
|
|
|
this.actor = new St.DrawingArea({ style_class: 'panel-corner' });
|
2017-12-01 19:27:35 -05:00
|
|
|
this.actor.connect('style-changed', this._styleChanged.bind(this));
|
|
|
|
this.actor.connect('repaint', this._repaint.bind(this));
|
2011-02-08 21:12:10 -05:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_findRightmostButton(container) {
|
2011-08-28 16:07:25 -04:00
|
|
|
if (!container.get_children)
|
|
|
|
return null;
|
|
|
|
|
|
|
|
let children = container.get_children();
|
|
|
|
|
|
|
|
if (!children || children.length == 0)
|
|
|
|
return null;
|
|
|
|
|
|
|
|
// Start at the back and work backward
|
2012-07-17 13:27:43 -04:00
|
|
|
let index;
|
|
|
|
for (index = children.length - 1; index >= 0; index--) {
|
|
|
|
if (children[index].visible)
|
|
|
|
break;
|
|
|
|
}
|
2011-08-28 16:07:25 -04:00
|
|
|
if (index < 0)
|
|
|
|
return null;
|
|
|
|
|
|
|
|
if (!(children[index].has_style_class_name('panel-menu')) &&
|
|
|
|
!(children[index].has_style_class_name('panel-button')))
|
|
|
|
return this._findRightmostButton(children[index]);
|
|
|
|
|
|
|
|
return children[index];
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_findLeftmostButton(container) {
|
2011-08-28 16:07:25 -04:00
|
|
|
if (!container.get_children)
|
|
|
|
return null;
|
|
|
|
|
|
|
|
let children = container.get_children();
|
|
|
|
|
|
|
|
if (!children || children.length == 0)
|
|
|
|
return null;
|
|
|
|
|
|
|
|
// Start at the front and work forward
|
2012-07-17 13:27:43 -04:00
|
|
|
let index;
|
|
|
|
for (index = 0; index < children.length; index++) {
|
|
|
|
if (children[index].visible)
|
|
|
|
break;
|
|
|
|
}
|
2011-08-28 16:07:25 -04:00
|
|
|
if (index == children.length)
|
|
|
|
return null;
|
|
|
|
|
|
|
|
if (!(children[index].has_style_class_name('panel-menu')) &&
|
|
|
|
!(children[index].has_style_class_name('panel-button')))
|
|
|
|
return this._findLeftmostButton(children[index]);
|
|
|
|
|
|
|
|
return children[index];
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
setStyleParent(box) {
|
2011-09-09 21:41:39 -04:00
|
|
|
let side = this._side;
|
|
|
|
|
2012-12-13 16:35:00 -05:00
|
|
|
let rtlAwareContainer = box instanceof St.BoxLayout;
|
2011-09-09 21:41:39 -04:00
|
|
|
if (rtlAwareContainer &&
|
2012-12-13 16:35:00 -05:00
|
|
|
box.get_text_direction() == Clutter.TextDirection.RTL) {
|
2011-09-09 21:41:39 -04:00
|
|
|
if (this._side == St.Side.LEFT)
|
|
|
|
side = St.Side.RIGHT;
|
|
|
|
else if (this._side == St.Side.RIGHT)
|
|
|
|
side = St.Side.LEFT;
|
|
|
|
}
|
2011-08-28 16:07:25 -04:00
|
|
|
|
2011-09-09 21:41:39 -04:00
|
|
|
let button;
|
|
|
|
if (side == St.Side.LEFT)
|
2012-12-13 16:35:00 -05:00
|
|
|
button = this._findLeftmostButton(box);
|
2011-09-09 21:41:39 -04:00
|
|
|
else if (side == St.Side.RIGHT)
|
2012-12-13 16:35:00 -05:00
|
|
|
button = this._findRightmostButton(box);
|
2011-08-28 16:07:25 -04:00
|
|
|
|
|
|
|
if (button) {
|
2011-09-07 12:23:43 -04:00
|
|
|
if (this._button && this._buttonStyleChangedSignalId) {
|
2011-08-28 16:07:25 -04:00
|
|
|
this._button.disconnect(this._buttonStyleChangedSignalId);
|
2011-09-07 12:23:43 -04:00
|
|
|
this._button.style = null;
|
|
|
|
}
|
2011-08-28 16:07:25 -04:00
|
|
|
|
|
|
|
this._button = button;
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
button.connect('destroy', () => {
|
|
|
|
if (this._button == button) {
|
|
|
|
this._button = null;
|
|
|
|
this._buttonStyleChangedSignalId = 0;
|
|
|
|
}
|
|
|
|
});
|
2011-08-28 16:07:25 -04:00
|
|
|
|
|
|
|
// Synchronize the locate button's pseudo classes with this corner
|
2017-10-30 20:38:18 -04:00
|
|
|
this._buttonStyleChangedSignalId = button.connect('style-changed',
|
|
|
|
actor => {
|
2011-08-28 16:07:25 -04:00
|
|
|
let pseudoClass = button.get_style_pseudo_class();
|
|
|
|
this.actor.set_style_pseudo_class(pseudoClass);
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2011-09-07 12:23:43 -04:00
|
|
|
|
|
|
|
// The corner doesn't support theme transitions, so override
|
|
|
|
// the .panel-button default
|
2013-01-11 19:29:10 -05:00
|
|
|
button.style = 'transition-duration: 0ms';
|
2011-08-28 16:07:25 -04:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_repaint() {
|
2011-02-08 21:12:10 -05:00
|
|
|
let node = this.actor.get_theme_node();
|
|
|
|
|
|
|
|
let cornerRadius = node.get_length("-panel-corner-radius");
|
2012-02-08 08:31:42 -05:00
|
|
|
let borderWidth = node.get_length('-panel-corner-border-width');
|
2011-02-08 21:12:10 -05:00
|
|
|
|
|
|
|
let backgroundColor = node.get_color('-panel-corner-background-color');
|
2012-02-08 08:31:42 -05:00
|
|
|
let borderColor = node.get_color('-panel-corner-border-color');
|
2011-02-08 21:12:10 -05:00
|
|
|
|
2013-01-07 15:07:40 -05:00
|
|
|
let overlap = borderColor.alpha != 0;
|
|
|
|
let offsetY = overlap ? 0 : borderWidth;
|
2012-09-21 16:10:07 -04:00
|
|
|
|
2011-02-08 21:12:10 -05:00
|
|
|
let cr = this.actor.get_context();
|
|
|
|
cr.setOperator(Cairo.Operator.SOURCE);
|
|
|
|
|
2012-09-21 16:10:07 -04:00
|
|
|
cr.moveTo(0, offsetY);
|
2011-02-08 21:12:10 -05:00
|
|
|
if (this._side == St.Side.LEFT)
|
|
|
|
cr.arc(cornerRadius,
|
2012-02-08 08:31:42 -05:00
|
|
|
borderWidth + cornerRadius,
|
2011-02-08 21:12:10 -05:00
|
|
|
cornerRadius, Math.PI, 3 * Math.PI / 2);
|
|
|
|
else
|
|
|
|
cr.arc(0,
|
2012-02-08 08:31:42 -05:00
|
|
|
borderWidth + cornerRadius,
|
2011-02-08 21:12:10 -05:00
|
|
|
cornerRadius, 3 * Math.PI / 2, 2 * Math.PI);
|
2012-09-21 16:10:07 -04:00
|
|
|
cr.lineTo(cornerRadius, offsetY);
|
2011-02-08 21:12:10 -05:00
|
|
|
cr.closePath();
|
|
|
|
|
|
|
|
let savedPath = cr.copyPath();
|
|
|
|
|
|
|
|
let xOffsetDirection = this._side == St.Side.LEFT ? -1 : 1;
|
2012-02-08 08:31:42 -05:00
|
|
|
let over = _over(borderColor, backgroundColor);
|
2011-02-08 21:12:10 -05:00
|
|
|
Clutter.cairo_set_source_color(cr, over);
|
|
|
|
cr.fill();
|
|
|
|
|
2013-01-07 15:07:40 -05:00
|
|
|
if (overlap) {
|
|
|
|
let offset = borderWidth;
|
|
|
|
Clutter.cairo_set_source_color(cr, backgroundColor);
|
2012-09-21 16:10:07 -04:00
|
|
|
|
2013-01-07 15:07:40 -05:00
|
|
|
cr.save();
|
|
|
|
cr.translate(xOffsetDirection * offset, - offset);
|
|
|
|
cr.appendPath(savedPath);
|
|
|
|
cr.fill();
|
|
|
|
cr.restore();
|
|
|
|
}
|
2011-02-08 21:12:10 -05:00
|
|
|
|
2013-01-07 15:07:40 -05:00
|
|
|
cr.$dispose();
|
2011-02-08 21:12:10 -05:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_styleChanged() {
|
2011-02-08 21:12:10 -05:00
|
|
|
let node = this.actor.get_theme_node();
|
|
|
|
|
|
|
|
let cornerRadius = node.get_length("-panel-corner-radius");
|
2012-02-08 08:31:42 -05:00
|
|
|
let borderWidth = node.get_length('-panel-corner-border-width');
|
2011-02-08 21:12:10 -05:00
|
|
|
|
2012-02-08 08:31:42 -05:00
|
|
|
this.actor.set_size(cornerRadius, borderWidth + cornerRadius);
|
|
|
|
this.actor.set_anchor_point(0, borderWidth);
|
2011-02-08 21:12:10 -05:00
|
|
|
}
|
2011-11-20 12:56:27 -05:00
|
|
|
});
|
2011-02-08 21:12:10 -05:00
|
|
|
|
2017-07-18 13:41:25 -04:00
|
|
|
var AggregateLayout = new Lang.Class({
|
2015-10-03 21:07:32 -04:00
|
|
|
Name: 'AggregateLayout',
|
|
|
|
Extends: Clutter.BoxLayout,
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_init(params) {
|
2015-10-03 21:07:32 -04:00
|
|
|
if (!params)
|
|
|
|
params = {};
|
|
|
|
params['orientation'] = Clutter.Orientation.VERTICAL;
|
|
|
|
this.parent(params);
|
|
|
|
|
|
|
|
this._sizeChildren = [];
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
addSizeChild(actor) {
|
2015-10-03 21:07:32 -04:00
|
|
|
this._sizeChildren.push(actor);
|
|
|
|
this.layout_changed();
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
vfunc_get_preferred_width(container, forHeight) {
|
2015-10-03 21:07:32 -04:00
|
|
|
let themeNode = container.get_theme_node();
|
|
|
|
let minWidth = themeNode.get_min_width();
|
|
|
|
let natWidth = minWidth;
|
|
|
|
|
|
|
|
for (let i = 0; i < this._sizeChildren.length; i++) {
|
|
|
|
let child = this._sizeChildren[i];
|
|
|
|
let [childMin, childNat] = child.get_preferred_width(forHeight);
|
|
|
|
minWidth = Math.max(minWidth, childMin);
|
|
|
|
natWidth = Math.max(minWidth, childNat);
|
|
|
|
}
|
|
|
|
return [minWidth, natWidth];
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2017-07-18 13:41:25 -04:00
|
|
|
var AggregateMenu = new Lang.Class({
|
2013-06-06 17:27:32 -04:00
|
|
|
Name: 'AggregateMenu',
|
|
|
|
Extends: PanelMenu.Button,
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_init() {
|
2015-09-28 13:37:36 -04:00
|
|
|
this.parent(0.0, C_("System menu in the top bar", "System"), false);
|
2013-07-01 14:19:12 -04:00
|
|
|
this.menu.actor.add_style_class_name('aggregate-menu');
|
2013-06-06 17:27:32 -04:00
|
|
|
|
2015-10-03 21:07:32 -04:00
|
|
|
let menuLayout = new AggregateLayout();
|
|
|
|
this.menu.box.set_layout_manager(menuLayout);
|
|
|
|
|
2013-06-06 17:27:32 -04:00
|
|
|
this._indicators = new St.BoxLayout({ style_class: 'panel-status-indicators-box' });
|
|
|
|
this.actor.add_child(this._indicators);
|
|
|
|
|
2014-02-11 17:20:15 -05:00
|
|
|
if (Config.HAVE_NETWORKMANAGER) {
|
|
|
|
this._network = new imports.ui.status.network.NMApplet();
|
|
|
|
} else {
|
|
|
|
this._network = null;
|
|
|
|
}
|
2013-09-03 19:22:46 -04:00
|
|
|
if (Config.HAVE_BLUETOOTH) {
|
|
|
|
this._bluetooth = new imports.ui.status.bluetooth.Indicator();
|
|
|
|
} else {
|
|
|
|
this._bluetooth = null;
|
|
|
|
}
|
|
|
|
|
2018-07-20 10:50:50 -04:00
|
|
|
this._remoteAccess = new imports.ui.status.remoteAccess.RemoteAccessApplet();
|
2013-06-06 17:27:32 -04:00
|
|
|
this._power = new imports.ui.status.power.Indicator();
|
2013-05-27 17:54:50 -04:00
|
|
|
this._rfkill = new imports.ui.status.rfkill.Indicator();
|
2013-06-06 17:27:32 -04:00
|
|
|
this._volume = new imports.ui.status.volume.Indicator();
|
2013-04-23 19:26:05 -04:00
|
|
|
this._brightness = new imports.ui.status.brightness.Indicator();
|
2013-06-06 17:27:32 -04:00
|
|
|
this._system = new imports.ui.status.system.Indicator();
|
2013-07-17 15:26:06 -04:00
|
|
|
this._screencast = new imports.ui.status.screencast.Indicator();
|
2014-01-28 12:41:26 -05:00
|
|
|
this._location = new imports.ui.status.location.Indicator();
|
2017-02-10 08:14:14 -05:00
|
|
|
this._nightLight = new imports.ui.status.nightLight.Indicator();
|
2017-12-19 07:41:14 -05:00
|
|
|
this._thunderbolt = new imports.ui.status.thunderbolt.Indicator();
|
2013-06-06 17:27:32 -04:00
|
|
|
|
2017-12-19 07:41:14 -05:00
|
|
|
this._indicators.add_child(this._thunderbolt.indicators);
|
2013-07-17 15:26:06 -04:00
|
|
|
this._indicators.add_child(this._screencast.indicators);
|
2014-01-28 12:41:26 -05:00
|
|
|
this._indicators.add_child(this._location.indicators);
|
2017-02-10 08:14:14 -05:00
|
|
|
this._indicators.add_child(this._nightLight.indicators);
|
2014-02-11 17:20:15 -05:00
|
|
|
if (this._network) {
|
|
|
|
this._indicators.add_child(this._network.indicators);
|
|
|
|
}
|
2013-09-03 19:22:46 -04:00
|
|
|
if (this._bluetooth) {
|
|
|
|
this._indicators.add_child(this._bluetooth.indicators);
|
|
|
|
}
|
2018-07-20 10:50:50 -04:00
|
|
|
this._indicators.add_child(this._remoteAccess.indicators);
|
2013-05-27 17:54:50 -04:00
|
|
|
this._indicators.add_child(this._rfkill.indicators);
|
2013-06-06 17:27:32 -04:00
|
|
|
this._indicators.add_child(this._volume.indicators);
|
2013-06-17 18:19:20 -04:00
|
|
|
this._indicators.add_child(this._power.indicators);
|
2014-02-18 07:45:26 -05:00
|
|
|
this._indicators.add_child(PopupMenu.arrowIcon(St.Side.BOTTOM));
|
2013-06-06 17:27:32 -04:00
|
|
|
|
|
|
|
this.menu.addMenuItem(this._volume.menu);
|
2013-04-23 19:26:05 -04:00
|
|
|
this.menu.addMenuItem(this._brightness.menu);
|
2013-06-06 17:27:32 -04:00
|
|
|
this.menu.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
2014-02-11 17:20:15 -05:00
|
|
|
if (this._network) {
|
|
|
|
this.menu.addMenuItem(this._network.menu);
|
|
|
|
}
|
2013-09-03 19:22:46 -04:00
|
|
|
if (this._bluetooth) {
|
|
|
|
this.menu.addMenuItem(this._bluetooth.menu);
|
|
|
|
}
|
2018-07-20 10:50:50 -04:00
|
|
|
this.menu.addMenuItem(this._remoteAccess.menu);
|
2014-02-13 12:50:32 -05:00
|
|
|
this.menu.addMenuItem(this._location.menu);
|
2013-05-27 17:54:50 -04:00
|
|
|
this.menu.addMenuItem(this._rfkill.menu);
|
2013-06-06 17:27:32 -04:00
|
|
|
this.menu.addMenuItem(this._power.menu);
|
2017-02-10 08:14:14 -05:00
|
|
|
this.menu.addMenuItem(this._nightLight.menu);
|
2013-06-06 17:27:32 -04:00
|
|
|
this.menu.addMenuItem(this._system.menu);
|
2015-10-03 21:07:32 -04:00
|
|
|
|
|
|
|
menuLayout.addSizeChild(this._location.menu.actor);
|
|
|
|
menuLayout.addSizeChild(this._rfkill.menu.actor);
|
|
|
|
menuLayout.addSizeChild(this._power.menu.actor);
|
|
|
|
menuLayout.addSizeChild(this._system.menu.actor);
|
2013-06-06 17:27:32 -04:00
|
|
|
},
|
|
|
|
});
|
|
|
|
|
2012-08-28 17:10:44 -04:00
|
|
|
const PANEL_ITEM_IMPLEMENTATIONS = {
|
|
|
|
'activities': ActivitiesButton,
|
2013-06-06 17:27:32 -04:00
|
|
|
'aggregateMenu': AggregateMenu,
|
2012-08-28 17:10:44 -04:00
|
|
|
'appMenu': AppMenuButton,
|
|
|
|
'dateMenu': imports.ui.dateMenu.DateMenuButton,
|
|
|
|
'a11y': imports.ui.status.accessibility.ATIndicator,
|
|
|
|
'keyboard': imports.ui.status.keyboard.InputSourceIndicator,
|
|
|
|
};
|
|
|
|
|
2017-07-18 13:41:25 -04:00
|
|
|
var Panel = new Lang.Class({
|
2011-11-20 12:56:27 -05:00
|
|
|
Name: 'Panel',
|
2008-10-31 14:09:20 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_init() {
|
2011-07-21 10:49:04 -04:00
|
|
|
this.actor = new Shell.GenericContainer({ name: 'panel',
|
|
|
|
reactive: true });
|
2009-11-10 12:13:58 -05:00
|
|
|
this.actor._delegate = this;
|
2018-04-06 06:26:58 -04:00
|
|
|
this.actor.set_offscreen_redirect(Clutter.OffscreenRedirect.ALWAYS);
|
2009-11-10 12:13:58 -05:00
|
|
|
|
2012-09-21 16:19:27 -04:00
|
|
|
this._sessionStyle = null;
|
|
|
|
|
2012-08-26 10:05:46 -04:00
|
|
|
this.statusArea = {};
|
2011-04-06 09:26:15 -04:00
|
|
|
|
2015-02-23 14:07:04 -05:00
|
|
|
this.menuManager = new PopupMenu.PopupMenuManager(this);
|
2010-05-20 11:18:46 -04:00
|
|
|
|
2009-11-17 17:46:20 -05:00
|
|
|
this._leftBox = new St.BoxLayout({ name: 'panelLeft' });
|
2011-07-21 10:49:04 -04:00
|
|
|
this.actor.add_actor(this._leftBox);
|
2009-11-17 17:46:20 -05:00
|
|
|
this._centerBox = new St.BoxLayout({ name: 'panelCenter' });
|
2011-07-21 10:49:04 -04:00
|
|
|
this.actor.add_actor(this._centerBox);
|
2009-11-17 17:46:20 -05:00
|
|
|
this._rightBox = new St.BoxLayout({ name: 'panelRight' });
|
2011-07-21 10:49:04 -04:00
|
|
|
this.actor.add_actor(this._rightBox);
|
2009-08-11 11:16:25 -04:00
|
|
|
|
2012-12-13 16:35:00 -05:00
|
|
|
this._leftCorner = new PanelCorner(St.Side.LEFT);
|
2011-07-21 10:49:04 -04:00
|
|
|
this.actor.add_actor(this._leftCorner.actor);
|
2011-08-28 16:07:25 -04:00
|
|
|
|
2012-12-13 16:35:00 -05:00
|
|
|
this._rightCorner = new PanelCorner(St.Side.RIGHT);
|
2011-07-21 10:49:04 -04:00
|
|
|
this.actor.add_actor(this._rightCorner.actor);
|
2010-05-25 10:21:22 -04:00
|
|
|
|
2017-12-01 19:27:35 -05:00
|
|
|
this.actor.connect('get-preferred-width', this._getPreferredWidth.bind(this));
|
|
|
|
this.actor.connect('get-preferred-height', this._getPreferredHeight.bind(this));
|
|
|
|
this.actor.connect('allocate', this._allocate.bind(this));
|
|
|
|
this.actor.connect('button-press-event', this._onButtonPress.bind(this));
|
2018-05-24 11:28:36 -04:00
|
|
|
this.actor.connect('touch-event', this._onButtonPress.bind(this));
|
2017-12-01 19:27:35 -05:00
|
|
|
this.actor.connect('key-press-event', this._onKeyPress.bind(this));
|
2009-08-11 11:16:25 -04:00
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
Main.overview.connect('showing', () => {
|
2013-02-05 09:24:46 -05:00
|
|
|
this.actor.add_style_pseudo_class('overview');
|
2016-09-23 15:08:11 -04:00
|
|
|
this._updateSolidStyle();
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
|
|
|
Main.overview.connect('hiding', () => {
|
2013-02-05 09:24:46 -05:00
|
|
|
this.actor.remove_style_pseudo_class('overview');
|
2016-09-23 15:08:11 -04:00
|
|
|
this._updateSolidStyle();
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2013-02-05 09:24:46 -05:00
|
|
|
|
2011-07-25 14:25:51 -04:00
|
|
|
Main.layoutManager.panelBox.add(this.actor);
|
2015-03-12 08:40:36 -04:00
|
|
|
Main.ctrlAltTabManager.addGroup(this.actor, _("Top Bar"), 'focus-top-bar-symbolic',
|
2011-02-07 11:29:34 -05:00
|
|
|
{ sortGroup: CtrlAltTab.SortGroup.TOP });
|
2012-09-01 08:42:53 -04:00
|
|
|
|
2017-12-01 19:27:35 -05:00
|
|
|
Main.sessionMode.connect('updated', this._updatePanel.bind(this));
|
2016-09-23 15:08:11 -04:00
|
|
|
|
|
|
|
this._trackedWindows = new Map();
|
2017-12-01 19:27:35 -05:00
|
|
|
global.window_group.connect('actor-added', this._onWindowActorAdded.bind(this));
|
|
|
|
global.window_group.connect('actor-removed', this._onWindowActorRemoved.bind(this));
|
|
|
|
global.window_manager.connect('switch-workspace', this._updateSolidStyle.bind(this));
|
2016-09-23 15:08:11 -04:00
|
|
|
|
2018-01-03 02:55:38 -05:00
|
|
|
global.display.connect('workareas-changed', () => { this.actor.queue_relayout(); });
|
2012-09-01 08:42:53 -04:00
|
|
|
this._updatePanel();
|
2008-12-01 14:51:43 -05:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onWindowActorAdded(container, metaWindowActor) {
|
2017-06-20 04:16:05 -04:00
|
|
|
let signalIds = [];
|
|
|
|
['allocation-changed', 'notify::visible'].forEach(s => {
|
2017-12-01 19:27:35 -05:00
|
|
|
signalIds.push(metaWindowActor.connect(s, this._updateSolidStyle.bind(this)));
|
2017-06-20 04:16:05 -04:00
|
|
|
});
|
|
|
|
this._trackedWindows.set(metaWindowActor, signalIds);
|
2016-09-23 15:08:11 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onWindowActorRemoved(container, metaWindowActor) {
|
2017-06-20 04:16:05 -04:00
|
|
|
this._trackedWindows.get(metaWindowActor).forEach(id => {
|
|
|
|
metaWindowActor.disconnect(id);
|
|
|
|
});
|
2016-09-23 15:08:11 -04:00
|
|
|
this._trackedWindows.delete(metaWindowActor);
|
|
|
|
this._updateSolidStyle();
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_getPreferredWidth(actor, forHeight, alloc) {
|
2017-04-12 02:46:54 -04:00
|
|
|
let primaryMonitor = Main.layoutManager.primaryMonitor;
|
|
|
|
|
2011-07-21 10:49:04 -04:00
|
|
|
alloc.min_size = -1;
|
2017-04-12 02:46:54 -04:00
|
|
|
|
|
|
|
if (primaryMonitor)
|
|
|
|
alloc.natural_size = primaryMonitor.width;
|
|
|
|
else
|
|
|
|
alloc.natural_size = -1;
|
2011-07-21 10:49:04 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_getPreferredHeight(actor, forWidth, alloc) {
|
2011-07-21 10:49:04 -04:00
|
|
|
// We don't need to implement this; it's forced by the CSS
|
|
|
|
alloc.min_size = -1;
|
|
|
|
alloc.natural_size = -1;
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_allocate(actor, box, flags) {
|
2011-07-21 10:49:04 -04:00
|
|
|
let allocWidth = box.x2 - box.x1;
|
|
|
|
let allocHeight = box.y2 - box.y1;
|
|
|
|
|
|
|
|
let [leftMinWidth, leftNaturalWidth] = this._leftBox.get_preferred_width(-1);
|
|
|
|
let [centerMinWidth, centerNaturalWidth] = this._centerBox.get_preferred_width(-1);
|
|
|
|
let [rightMinWidth, rightNaturalWidth] = this._rightBox.get_preferred_width(-1);
|
|
|
|
|
|
|
|
let sideWidth, centerWidth;
|
|
|
|
centerWidth = centerNaturalWidth;
|
2018-01-09 03:39:06 -05:00
|
|
|
|
|
|
|
// get workspace area and center date entry relative to it
|
|
|
|
let monitor = Main.layoutManager.findMonitorForActor(actor);
|
|
|
|
let centerOffset = 0;
|
|
|
|
if (monitor) {
|
|
|
|
let workArea = Main.layoutManager.getWorkAreaForMonitor(monitor.index);
|
|
|
|
centerOffset = 2 * (workArea.x - monitor.x) + workArea.width - monitor.width;
|
|
|
|
}
|
|
|
|
|
|
|
|
sideWidth = Math.max(0, (allocWidth - centerWidth + centerOffset) / 2);
|
2011-07-21 10:49:04 -04:00
|
|
|
|
|
|
|
let childBox = new Clutter.ActorBox();
|
|
|
|
|
|
|
|
childBox.y1 = 0;
|
|
|
|
childBox.y2 = allocHeight;
|
2012-02-13 20:37:28 -05:00
|
|
|
if (this.actor.get_text_direction() == Clutter.TextDirection.RTL) {
|
2017-04-12 02:46:54 -04:00
|
|
|
childBox.x1 = Math.max(allocWidth - Math.min(Math.floor(sideWidth),
|
|
|
|
leftNaturalWidth),
|
|
|
|
0);
|
2011-07-21 10:49:04 -04:00
|
|
|
childBox.x2 = allocWidth;
|
|
|
|
} else {
|
|
|
|
childBox.x1 = 0;
|
|
|
|
childBox.x2 = Math.min(Math.floor(sideWidth),
|
|
|
|
leftNaturalWidth);
|
|
|
|
}
|
|
|
|
this._leftBox.allocate(childBox, flags);
|
|
|
|
|
|
|
|
childBox.x1 = Math.ceil(sideWidth);
|
|
|
|
childBox.y1 = 0;
|
|
|
|
childBox.x2 = childBox.x1 + centerWidth;
|
|
|
|
childBox.y2 = allocHeight;
|
|
|
|
this._centerBox.allocate(childBox, flags);
|
|
|
|
|
|
|
|
childBox.y1 = 0;
|
|
|
|
childBox.y2 = allocHeight;
|
2012-02-13 20:37:28 -05:00
|
|
|
if (this.actor.get_text_direction() == Clutter.TextDirection.RTL) {
|
2011-07-21 10:49:04 -04:00
|
|
|
childBox.x1 = 0;
|
|
|
|
childBox.x2 = Math.min(Math.floor(sideWidth),
|
|
|
|
rightNaturalWidth);
|
|
|
|
} else {
|
2017-04-12 02:46:54 -04:00
|
|
|
childBox.x1 = Math.max(allocWidth - Math.min(Math.floor(sideWidth),
|
|
|
|
rightNaturalWidth),
|
|
|
|
0);
|
2011-07-21 10:49:04 -04:00
|
|
|
childBox.x2 = allocWidth;
|
|
|
|
}
|
|
|
|
this._rightBox.allocate(childBox, flags);
|
|
|
|
|
2012-10-12 13:51:48 -04:00
|
|
|
let cornerMinWidth, cornerMinHeight;
|
|
|
|
let cornerWidth, cornerHeight;
|
|
|
|
|
|
|
|
[cornerMinWidth, cornerWidth] = this._leftCorner.actor.get_preferred_width(-1);
|
|
|
|
[cornerMinHeight, cornerHeight] = this._leftCorner.actor.get_preferred_height(-1);
|
2011-07-21 10:49:04 -04:00
|
|
|
childBox.x1 = 0;
|
|
|
|
childBox.x2 = cornerWidth;
|
|
|
|
childBox.y1 = allocHeight;
|
|
|
|
childBox.y2 = allocHeight + cornerHeight;
|
|
|
|
this._leftCorner.actor.allocate(childBox, flags);
|
|
|
|
|
2012-10-12 13:51:48 -04:00
|
|
|
[cornerMinWidth, cornerWidth] = this._rightCorner.actor.get_preferred_width(-1);
|
|
|
|
[cornerMinHeight, cornerHeight] = this._rightCorner.actor.get_preferred_height(-1);
|
2011-07-21 10:49:04 -04:00
|
|
|
childBox.x1 = allocWidth - cornerWidth;
|
|
|
|
childBox.x2 = allocWidth;
|
|
|
|
childBox.y1 = allocHeight;
|
|
|
|
childBox.y2 = allocHeight + cornerHeight;
|
|
|
|
this._rightCorner.actor.allocate(childBox, flags);
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onButtonPress(actor, event) {
|
2013-02-19 20:27:11 -05:00
|
|
|
if (Main.modalCount > 0)
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2013-02-19 20:27:11 -05:00
|
|
|
|
2011-10-04 11:14:29 -04:00
|
|
|
if (event.get_source() != actor)
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2011-10-04 11:14:29 -04:00
|
|
|
|
2018-05-24 11:28:36 -04:00
|
|
|
let type = event.type();
|
|
|
|
let isPress = type == Clutter.EventType.BUTTON_PRESS;
|
|
|
|
if (!isPress && type != Clutter.EventType.TOUCH_BEGIN)
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
|
|
|
|
|
|
|
let button = isPress ? event.get_button() : -1;
|
|
|
|
if (isPress && button != 1)
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2011-10-04 11:14:29 -04:00
|
|
|
|
|
|
|
let focusWindow = global.display.focus_window;
|
|
|
|
if (!focusWindow)
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2011-10-04 11:14:29 -04:00
|
|
|
|
|
|
|
let dragWindow = focusWindow.is_attached_dialog() ? focusWindow.get_transient_for()
|
|
|
|
: focusWindow;
|
|
|
|
if (!dragWindow)
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2011-10-04 11:14:29 -04:00
|
|
|
|
2014-09-18 17:02:45 -04:00
|
|
|
let rect = dragWindow.get_frame_rect();
|
2011-10-04 11:14:29 -04:00
|
|
|
let [stageX, stageY] = event.get_coords();
|
|
|
|
|
|
|
|
let allowDrag = dragWindow.maximized_vertically &&
|
|
|
|
stageX > rect.x && stageX < rect.x + rect.width;
|
|
|
|
|
|
|
|
if (!allowDrag)
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2011-10-04 11:14:29 -04:00
|
|
|
|
2018-01-03 02:55:38 -05:00
|
|
|
global.display.begin_grab_op(dragWindow,
|
2011-10-04 11:14:29 -04:00
|
|
|
Meta.GrabOp.MOVING,
|
|
|
|
false, /* pointer grab */
|
|
|
|
true, /* frame action */
|
|
|
|
button,
|
|
|
|
event.get_state(),
|
|
|
|
event.get_time(),
|
|
|
|
stageX, stageY);
|
|
|
|
|
2013-11-29 13:17:34 -05:00
|
|
|
return Clutter.EVENT_STOP;
|
2011-10-04 11:14:29 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onKeyPress(actor, event) {
|
2017-11-01 14:43:11 -04:00
|
|
|
let symbol = event.get_key_symbol();
|
|
|
|
if (symbol == Clutter.KEY_Escape) {
|
2018-01-03 02:55:38 -05:00
|
|
|
global.display.focus_default_window(event.get_time());
|
2017-11-01 14:43:11 -04:00
|
|
|
return Clutter.EVENT_STOP;
|
|
|
|
}
|
|
|
|
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_toggleMenu(indicator) {
|
2015-02-17 20:52:07 -05:00
|
|
|
if (!indicator) // menu not supported by current session mode
|
2012-08-28 17:10:44 -04:00
|
|
|
return;
|
|
|
|
|
|
|
|
let menu = indicator.menu;
|
2013-04-26 10:14:55 -04:00
|
|
|
if (!indicator.actor.reactive)
|
2012-05-18 10:04:47 -04:00
|
|
|
return;
|
2012-03-27 09:26:20 -04:00
|
|
|
|
2013-04-26 10:14:55 -04:00
|
|
|
menu.toggle();
|
|
|
|
if (menu.isOpen)
|
|
|
|
menu.actor.navigate_focus(null, Gtk.DirectionType.TAB_FORWARD, false);
|
2012-03-27 09:26:20 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
toggleAppMenu() {
|
2015-02-17 20:52:07 -05:00
|
|
|
this._toggleMenu(this.statusArea.appMenu);
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
toggleCalendar() {
|
2015-02-17 20:52:07 -05:00
|
|
|
this._toggleMenu(this.statusArea.dateMenu);
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
closeCalendar() {
|
2015-02-13 04:44:13 -05:00
|
|
|
let indicator = this.statusArea.dateMenu;
|
|
|
|
if (!indicator) // calendar not supported by current session mode
|
|
|
|
return;
|
|
|
|
|
|
|
|
let menu = indicator.menu;
|
|
|
|
if (!indicator.actor.reactive)
|
|
|
|
return;
|
|
|
|
|
|
|
|
menu.close();
|
|
|
|
},
|
|
|
|
|
2012-09-01 08:42:53 -04:00
|
|
|
set boxOpacity(value) {
|
|
|
|
let isReactive = value > 0;
|
|
|
|
|
|
|
|
this._leftBox.opacity = value;
|
|
|
|
this._leftBox.reactive = isReactive;
|
|
|
|
this._centerBox.opacity = value;
|
|
|
|
this._centerBox.reactive = isReactive;
|
|
|
|
this._rightBox.opacity = value;
|
|
|
|
this._rightBox.reactive = isReactive;
|
|
|
|
},
|
|
|
|
|
|
|
|
get boxOpacity() {
|
|
|
|
return this._leftBox.opacity;
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updatePanel() {
|
2012-08-28 17:10:44 -04:00
|
|
|
let panel = Main.sessionMode.panel;
|
2012-09-01 08:42:53 -04:00
|
|
|
this._hideIndicators();
|
|
|
|
this._updateBox(panel.left, this._leftBox);
|
|
|
|
this._updateBox(panel.center, this._centerBox);
|
|
|
|
this._updateBox(panel.right, this._rightBox);
|
2012-09-21 16:19:27 -04:00
|
|
|
|
2015-04-23 06:43:03 -04:00
|
|
|
if (panel.left.indexOf('dateMenu') != -1)
|
|
|
|
Main.messageTray.bannerAlignment = Clutter.ActorAlign.START;
|
|
|
|
else if (panel.right.indexOf('dateMenu') != -1)
|
|
|
|
Main.messageTray.bannerAlignment = Clutter.ActorAlign.END;
|
|
|
|
// Default to center if there is no dateMenu
|
|
|
|
else
|
|
|
|
Main.messageTray.bannerAlignment = Clutter.ActorAlign.CENTER;
|
|
|
|
|
2017-05-29 11:20:36 -04:00
|
|
|
this._updateSolidStyle();
|
|
|
|
|
2012-09-21 16:19:27 -04:00
|
|
|
if (this._sessionStyle)
|
|
|
|
this._removeStyleClassName(this._sessionStyle);
|
|
|
|
|
|
|
|
this._sessionStyle = Main.sessionMode.panelStyle;
|
|
|
|
if (this._sessionStyle)
|
|
|
|
this._addStyleClassName(this._sessionStyle);
|
2012-12-13 16:35:00 -05:00
|
|
|
|
|
|
|
if (this.actor.get_text_direction() == Clutter.TextDirection.RTL) {
|
|
|
|
this._leftCorner.setStyleParent(this._rightBox);
|
|
|
|
this._rightCorner.setStyleParent(this._leftBox);
|
|
|
|
} else {
|
|
|
|
this._leftCorner.setStyleParent(this._leftBox);
|
|
|
|
this._rightCorner.setStyleParent(this._rightBox);
|
|
|
|
}
|
2012-08-28 17:10:44 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateSolidStyle() {
|
2016-09-23 15:08:11 -04:00
|
|
|
if (this.actor.has_style_pseudo_class('overview') || !Main.sessionMode.hasWindows) {
|
|
|
|
this._removeStyleClassName('solid');
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2017-04-12 02:46:54 -04:00
|
|
|
if (!Main.layoutManager.primaryMonitor)
|
|
|
|
return;
|
|
|
|
|
2016-09-23 15:08:11 -04:00
|
|
|
/* Get all the windows in the active workspace that are in the primary monitor and visible */
|
2018-01-03 02:55:38 -05:00
|
|
|
let workspaceManager = global.workspace_manager;
|
|
|
|
let activeWorkspace = workspaceManager.get_active_workspace();
|
2017-10-30 20:38:18 -04:00
|
|
|
let windows = activeWorkspace.list_windows().filter(metaWindow => {
|
2016-09-23 15:08:11 -04:00
|
|
|
return metaWindow.is_on_primary_monitor() &&
|
|
|
|
metaWindow.showing_on_its_workspace() &&
|
2018-10-23 10:05:01 -04:00
|
|
|
!metaWindow.is_hidden() &&
|
2016-09-23 15:08:11 -04:00
|
|
|
metaWindow.get_window_type() != Meta.WindowType.DESKTOP;
|
|
|
|
});
|
|
|
|
|
|
|
|
/* Check if at least one window is near enough to the panel */
|
|
|
|
let [, panelTop] = this.actor.get_transformed_position();
|
|
|
|
let panelBottom = panelTop + this.actor.get_height();
|
|
|
|
let scale = St.ThemeContext.get_for_stage(global.stage).scale_factor;
|
2017-10-30 20:38:18 -04:00
|
|
|
let isNearEnough = windows.some(metaWindow => {
|
2016-09-23 15:08:11 -04:00
|
|
|
let verticalPosition = metaWindow.get_frame_rect().y;
|
|
|
|
return verticalPosition < panelBottom + 5 * scale;
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2016-09-23 15:08:11 -04:00
|
|
|
|
|
|
|
if (isNearEnough)
|
|
|
|
this._addStyleClassName('solid');
|
|
|
|
else
|
|
|
|
this._removeStyleClassName('solid');
|
|
|
|
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_hideIndicators() {
|
2012-09-01 08:42:53 -04:00
|
|
|
for (let role in PANEL_ITEM_IMPLEMENTATIONS) {
|
|
|
|
let indicator = this.statusArea[role];
|
|
|
|
if (!indicator)
|
|
|
|
continue;
|
2012-09-04 12:27:50 -04:00
|
|
|
indicator.container.hide();
|
2012-09-01 08:42:53 -04:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_ensureIndicator(role) {
|
2012-09-01 08:42:53 -04:00
|
|
|
let indicator = this.statusArea[role];
|
|
|
|
if (!indicator) {
|
|
|
|
let constructor = PANEL_ITEM_IMPLEMENTATIONS[role];
|
|
|
|
if (!constructor) {
|
|
|
|
// This icon is not implemented (this is a bug)
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
indicator = new constructor(this);
|
|
|
|
this.statusArea[role] = indicator;
|
|
|
|
}
|
|
|
|
return indicator;
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_updateBox(elements, box) {
|
2012-09-01 08:42:53 -04:00
|
|
|
let nChildren = box.get_n_children();
|
|
|
|
|
|
|
|
for (let i = 0; i < elements.length; i++) {
|
|
|
|
let role = elements[i];
|
|
|
|
let indicator = this._ensureIndicator(role);
|
|
|
|
if (indicator == null)
|
|
|
|
continue;
|
2011-04-06 09:26:15 -04:00
|
|
|
|
2012-09-01 08:42:53 -04:00
|
|
|
this._addToPanelBox(role, indicator, i + nChildren, box);
|
2010-07-24 07:57:53 -04:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_addToPanelBox(role, indicator, position, box) {
|
2012-09-04 12:27:50 -04:00
|
|
|
let container = indicator.container;
|
2012-09-01 08:42:53 -04:00
|
|
|
container.show();
|
|
|
|
|
|
|
|
let parent = container.get_parent();
|
2012-09-04 12:27:50 -04:00
|
|
|
if (parent)
|
2012-09-01 08:42:53 -04:00
|
|
|
parent.remove_actor(container);
|
|
|
|
|
2015-04-23 12:43:58 -04:00
|
|
|
|
2012-09-01 08:42:53 -04:00
|
|
|
box.insert_child_at_index(container, position);
|
2012-08-28 17:10:44 -04:00
|
|
|
if (indicator.menu)
|
|
|
|
this.menuManager.addMenu(indicator.menu);
|
|
|
|
this.statusArea[role] = indicator;
|
2017-10-30 20:38:18 -04:00
|
|
|
let destroyId = indicator.connect('destroy', emitter => {
|
2012-08-28 17:10:44 -04:00
|
|
|
delete this.statusArea[role];
|
|
|
|
emitter.disconnect(destroyId);
|
2012-09-01 08:42:53 -04:00
|
|
|
container.destroy();
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2017-12-01 19:27:35 -05:00
|
|
|
indicator.connect('menu-set', this._onMenuSet.bind(this));
|
2015-04-28 05:05:58 -04:00
|
|
|
this._onMenuSet(indicator);
|
2011-08-25 11:46:25 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
addToStatusArea(role, indicator, position, box) {
|
2012-08-26 10:05:46 -04:00
|
|
|
if (this.statusArea[role])
|
2011-08-22 17:19:13 -04:00
|
|
|
throw new Error('Extension point conflict: there is already a status indicator for role ' + role);
|
|
|
|
|
|
|
|
if (!(indicator instanceof PanelMenu.Button))
|
|
|
|
throw new TypeError('Status indicator must be an instance of PanelMenu.Button');
|
|
|
|
|
2012-08-28 17:10:44 -04:00
|
|
|
position = position || 0;
|
|
|
|
let boxes = {
|
|
|
|
left: this._leftBox,
|
|
|
|
center: this._centerBox,
|
|
|
|
right: this._rightBox
|
|
|
|
};
|
|
|
|
let boxContainer = boxes[box] || this._rightBox;
|
2012-09-01 08:42:53 -04:00
|
|
|
this.statusArea[role] = indicator;
|
2012-08-28 17:10:44 -04:00
|
|
|
this._addToPanelBox(role, indicator, position, boxContainer);
|
2011-08-22 17:19:13 -04:00
|
|
|
return indicator;
|
2012-09-21 16:19:27 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_addStyleClassName(className) {
|
2012-09-21 16:19:27 -04:00
|
|
|
this.actor.add_style_class_name(className);
|
|
|
|
this._rightCorner.actor.add_style_class_name(className);
|
|
|
|
this._leftCorner.actor.add_style_class_name(className);
|
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_removeStyleClassName(className) {
|
2012-09-21 16:19:27 -04:00
|
|
|
this.actor.remove_style_class_name(className);
|
|
|
|
this._rightCorner.actor.remove_style_class_name(className);
|
|
|
|
this._leftCorner.actor.remove_style_class_name(className);
|
2015-04-28 05:05:58 -04:00
|
|
|
},
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_onMenuSet(indicator) {
|
2017-06-12 22:46:37 -04:00
|
|
|
if (!indicator.menu || indicator.menu.hasOwnProperty('_openChangedId'))
|
2015-04-28 05:05:58 -04:00
|
|
|
return;
|
|
|
|
|
|
|
|
indicator.menu._openChangedId = indicator.menu.connect('open-state-changed',
|
2017-10-30 20:38:18 -04:00
|
|
|
(menu, isOpen) => {
|
2015-04-28 05:05:58 -04:00
|
|
|
let boxAlignment;
|
|
|
|
if (this._leftBox.contains(indicator.container))
|
|
|
|
boxAlignment = Clutter.ActorAlign.START;
|
|
|
|
else if (this._centerBox.contains(indicator.container))
|
|
|
|
boxAlignment = Clutter.ActorAlign.CENTER;
|
|
|
|
else if (this._rightBox.contains(indicator.container))
|
|
|
|
boxAlignment = Clutter.ActorAlign.END;
|
|
|
|
|
|
|
|
if (boxAlignment == Main.messageTray.bannerAlignment)
|
|
|
|
Main.messageTray.bannerBlocked = isOpen;
|
2017-10-30 20:38:18 -04:00
|
|
|
});
|
2012-09-01 08:42:53 -04:00
|
|
|
}
|
2011-11-20 12:56:27 -05:00
|
|
|
});
|