2011-09-28 13:16:26 +00:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2010-06-22 21:02:26 +00:00
|
|
|
|
2010-10-07 18:15:51 +00:00
|
|
|
const Clutter = imports.gi.Clutter;
|
2012-08-26 13:49:18 +00:00
|
|
|
const Gio = imports.gi.Gio;
|
2011-02-08 19:53:43 +00:00
|
|
|
const Gtk = imports.gi.Gtk;
|
2011-06-09 15:50:24 +00:00
|
|
|
const Lang = imports.lang;
|
|
|
|
const Shell = imports.gi.Shell;
|
2011-08-22 21:19:13 +00:00
|
|
|
const Signals = imports.signals;
|
2010-06-22 21:02:26 +00:00
|
|
|
const St = imports.gi.St;
|
2012-02-27 16:31:10 +00:00
|
|
|
const Atk = imports.gi.Atk;
|
2011-02-08 19:53:43 +00:00
|
|
|
|
2010-06-22 21:02:26 +00:00
|
|
|
const Main = imports.ui.main;
|
2011-06-09 15:50:24 +00:00
|
|
|
const Params = imports.misc.params;
|
|
|
|
const PopupMenu = imports.ui.popupMenu;
|
|
|
|
|
2011-11-20 14:38:48 +00:00
|
|
|
const ButtonBox = new Lang.Class({
|
|
|
|
Name: 'ButtonBox',
|
2011-06-09 15:50:24 +00:00
|
|
|
|
|
|
|
_init: function(params) {
|
|
|
|
params = Params.parse(params, { style_class: 'panel-button' }, true);
|
|
|
|
this.actor = new Shell.GenericContainer(params);
|
|
|
|
this.actor._delegate = this;
|
|
|
|
|
2012-09-04 16:27:50 +00:00
|
|
|
this.container = new St.Bin({ y_fill: true,
|
|
|
|
x_fill: true,
|
|
|
|
child: this.actor });
|
|
|
|
|
2011-06-09 15:50:24 +00:00
|
|
|
this.actor.connect('get-preferred-width', Lang.bind(this, this._getPreferredWidth));
|
|
|
|
this.actor.connect('get-preferred-height', Lang.bind(this, this._getPreferredHeight));
|
|
|
|
this.actor.connect('allocate', Lang.bind(this, this._allocate));
|
|
|
|
|
|
|
|
this.actor.connect('style-changed', Lang.bind(this, this._onStyleChanged));
|
|
|
|
this._minHPadding = this._natHPadding = 0.0;
|
|
|
|
},
|
|
|
|
|
|
|
|
_onStyleChanged: function(actor) {
|
|
|
|
let themeNode = actor.get_theme_node();
|
|
|
|
|
|
|
|
this._minHPadding = themeNode.get_length('-minimum-hpadding');
|
|
|
|
this._natHPadding = themeNode.get_length('-natural-hpadding');
|
|
|
|
},
|
|
|
|
|
|
|
|
_getPreferredWidth: function(actor, forHeight, alloc) {
|
|
|
|
let children = actor.get_children();
|
|
|
|
let child = children.length > 0 ? children[0] : null;
|
|
|
|
|
|
|
|
if (child) {
|
|
|
|
[alloc.min_size, alloc.natural_size] = child.get_preferred_width(-1);
|
|
|
|
} else {
|
|
|
|
alloc.min_size = alloc.natural_size = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
alloc.min_size += 2 * this._minHPadding;
|
|
|
|
alloc.natural_size += 2 * this._natHPadding;
|
|
|
|
},
|
|
|
|
|
|
|
|
_getPreferredHeight: function(actor, forWidth, alloc) {
|
|
|
|
let children = actor.get_children();
|
|
|
|
let child = children.length > 0 ? children[0] : null;
|
|
|
|
|
|
|
|
if (child) {
|
|
|
|
[alloc.min_size, alloc.natural_size] = child.get_preferred_height(-1);
|
|
|
|
} else {
|
|
|
|
alloc.min_size = alloc.natural_size = 0;
|
|
|
|
}
|
|
|
|
},
|
|
|
|
|
|
|
|
_allocate: function(actor, box, flags) {
|
|
|
|
let children = actor.get_children();
|
|
|
|
if (children.length == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
let child = children[0];
|
|
|
|
let [minWidth, natWidth] = child.get_preferred_width(-1);
|
|
|
|
let [minHeight, natHeight] = child.get_preferred_height(-1);
|
|
|
|
|
|
|
|
let availWidth = box.x2 - box.x1;
|
|
|
|
let availHeight = box.y2 - box.y1;
|
|
|
|
|
|
|
|
let childBox = new Clutter.ActorBox();
|
|
|
|
if (natWidth + 2 * this._natHPadding <= availWidth) {
|
|
|
|
childBox.x1 = this._natHPadding;
|
|
|
|
childBox.x2 = availWidth - this._natHPadding;
|
|
|
|
} else {
|
|
|
|
childBox.x1 = this._minHPadding;
|
|
|
|
childBox.x2 = availWidth - this._minHPadding;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (natHeight <= availHeight) {
|
|
|
|
childBox.y1 = Math.floor((availHeight - natHeight) / 2);
|
|
|
|
childBox.y2 = childBox.y1 + natHeight;
|
|
|
|
} else {
|
|
|
|
childBox.y1 = 0;
|
|
|
|
childBox.y2 = availHeight;
|
|
|
|
}
|
|
|
|
|
|
|
|
child.allocate(childBox, flags);
|
|
|
|
},
|
2011-11-20 14:38:48 +00:00
|
|
|
});
|
2010-06-22 21:02:26 +00:00
|
|
|
|
2011-11-20 14:38:48 +00:00
|
|
|
const Button = new Lang.Class({
|
|
|
|
Name: 'PanelMenuButton',
|
|
|
|
Extends: ButtonBox,
|
2011-06-09 15:50:24 +00:00
|
|
|
|
2012-01-05 18:00:06 +00:00
|
|
|
_init: function(menuAlignment, nameText, dontCreateMenu) {
|
2011-11-20 14:38:48 +00:00
|
|
|
this.parent({ reactive: true,
|
|
|
|
can_focus: true,
|
2012-02-27 16:31:10 +00:00
|
|
|
track_hover: true,
|
|
|
|
accessible_role: Atk.Role.MENU });
|
2011-06-09 15:50:24 +00:00
|
|
|
|
2010-06-22 21:02:26 +00:00
|
|
|
this.actor.connect('button-press-event', Lang.bind(this, this._onButtonPress));
|
2011-02-08 19:53:43 +00:00
|
|
|
this.actor.connect('key-press-event', Lang.bind(this, this._onSourceKeyPress));
|
2011-05-15 16:55:23 +00:00
|
|
|
|
|
|
|
if (dontCreateMenu)
|
|
|
|
this.menu = null;
|
|
|
|
else
|
|
|
|
this.setMenu(new PopupMenu.PopupMenu(this.actor, menuAlignment, St.Side.TOP, 0));
|
2012-01-05 18:00:06 +00:00
|
|
|
|
|
|
|
this.setName(nameText);
|
|
|
|
},
|
|
|
|
|
2012-09-01 21:44:46 +00:00
|
|
|
setSensitive: function(sensitive) {
|
|
|
|
this.actor.reactive = sensitive;
|
|
|
|
this.actor.can_focus = sensitive;
|
|
|
|
this.actor.track_hover = sensitive;
|
|
|
|
},
|
|
|
|
|
2012-01-05 18:00:06 +00:00
|
|
|
setName: function(text) {
|
|
|
|
if (text != null) {
|
|
|
|
// This is the easiest way to provide a accessible name to
|
|
|
|
// this widget. The label could be also used for other
|
|
|
|
// purposes in the future.
|
|
|
|
if (!this.label) {
|
|
|
|
this.label = new St.Label({ text: text });
|
|
|
|
this.actor.label_actor = this.label;
|
|
|
|
} else
|
|
|
|
this.label.text = text;
|
|
|
|
} else {
|
|
|
|
this.label = null;
|
|
|
|
this.actor.label_actor = null;
|
|
|
|
}
|
2011-05-15 16:55:23 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
setMenu: function(menu) {
|
|
|
|
if (this.menu)
|
|
|
|
this.menu.destroy();
|
|
|
|
|
|
|
|
this.menu = menu;
|
|
|
|
if (this.menu) {
|
|
|
|
this.menu.actor.add_style_class_name('panel-menu');
|
|
|
|
this.menu.connect('open-state-changed', Lang.bind(this, this._onOpenStateChanged));
|
|
|
|
this.menu.actor.connect('key-press-event', Lang.bind(this, this._onMenuKeyPress));
|
|
|
|
|
|
|
|
Main.uiGroup.add_actor(this.menu.actor);
|
|
|
|
this.menu.actor.hide();
|
|
|
|
}
|
2010-06-22 21:02:26 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
_onButtonPress: function(actor, event) {
|
2011-05-15 16:55:23 +00:00
|
|
|
if (!this.menu)
|
|
|
|
return;
|
|
|
|
|
2010-06-22 21:02:26 +00:00
|
|
|
this.menu.toggle();
|
|
|
|
},
|
|
|
|
|
2011-02-08 19:53:43 +00:00
|
|
|
_onSourceKeyPress: function(actor, event) {
|
2011-05-15 16:55:23 +00:00
|
|
|
if (!this.menu)
|
|
|
|
return false;
|
|
|
|
|
2010-10-07 18:15:51 +00:00
|
|
|
let symbol = event.get_key_symbol();
|
|
|
|
if (symbol == Clutter.KEY_space || symbol == Clutter.KEY_Return) {
|
|
|
|
this.menu.toggle();
|
|
|
|
return true;
|
2011-02-08 19:53:43 +00:00
|
|
|
} else if (symbol == Clutter.KEY_Escape && this.menu.isOpen) {
|
|
|
|
this.menu.close();
|
|
|
|
return true;
|
2010-10-07 18:15:51 +00:00
|
|
|
} else if (symbol == Clutter.KEY_Down) {
|
|
|
|
if (!this.menu.isOpen)
|
|
|
|
this.menu.toggle();
|
2011-02-08 19:53:43 +00:00
|
|
|
this.menu.actor.navigate_focus(this.actor, Gtk.DirectionType.DOWN, false);
|
2010-10-07 18:15:51 +00:00
|
|
|
return true;
|
|
|
|
} else
|
|
|
|
return false;
|
|
|
|
},
|
|
|
|
|
2011-02-08 19:53:43 +00:00
|
|
|
_onMenuKeyPress: function(actor, event) {
|
|
|
|
let symbol = event.get_key_symbol();
|
|
|
|
if (symbol == Clutter.KEY_Left || symbol == Clutter.KEY_Right) {
|
2012-08-15 16:22:01 +00:00
|
|
|
let group = global.focus_manager.get_group(this.actor);
|
2011-02-08 19:53:43 +00:00
|
|
|
if (group) {
|
|
|
|
let direction = (symbol == Clutter.KEY_Left) ? Gtk.DirectionType.LEFT : Gtk.DirectionType.RIGHT;
|
|
|
|
group.navigate_focus(this.actor, direction, false);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
},
|
|
|
|
|
2010-06-22 21:02:26 +00:00
|
|
|
_onOpenStateChanged: function(menu, open) {
|
2010-11-03 17:30:08 +00:00
|
|
|
if (open)
|
2011-02-08 18:46:05 +00:00
|
|
|
this.actor.add_style_pseudo_class('active');
|
2010-11-03 17:30:08 +00:00
|
|
|
else
|
2011-02-08 18:46:05 +00:00
|
|
|
this.actor.remove_style_pseudo_class('active');
|
2012-02-28 18:09:56 +00:00
|
|
|
|
|
|
|
// Setting the max-height won't do any good if the minimum height of the
|
|
|
|
// menu is higher then the screen; it's useful if part of the menu is
|
|
|
|
// scrollable so the minimum height is smaller than the natural height
|
|
|
|
let monitor = Main.layoutManager.primaryMonitor;
|
|
|
|
this.menu.actor.style = ('max-height: ' +
|
|
|
|
Math.round(monitor.height - Main.panel.actor.height) +
|
|
|
|
'px;');
|
2011-08-22 21:19:13 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
destroy: function() {
|
|
|
|
this.actor._delegate = null;
|
|
|
|
|
|
|
|
this.menu.destroy();
|
|
|
|
this.actor.destroy();
|
|
|
|
|
|
|
|
this.emit('destroy');
|
2010-06-22 21:02:26 +00:00
|
|
|
}
|
2011-11-20 14:38:48 +00:00
|
|
|
});
|
2011-08-22 21:19:13 +00:00
|
|
|
Signals.addSignalMethods(Button.prototype);
|
2010-06-22 21:06:17 +00:00
|
|
|
|
|
|
|
/* SystemStatusButton:
|
|
|
|
*
|
|
|
|
* This class manages one System Status indicator (network, keyboard,
|
|
|
|
* volume, bluetooth...), which is just a PanelMenuButton with an
|
2012-02-13 17:08:05 +00:00
|
|
|
* icon.
|
2010-06-22 21:06:17 +00:00
|
|
|
*/
|
2011-11-20 14:38:48 +00:00
|
|
|
const SystemStatusButton = new Lang.Class({
|
|
|
|
Name: 'SystemStatusButton',
|
|
|
|
Extends: Button,
|
2010-06-22 21:06:17 +00:00
|
|
|
|
2012-02-13 17:08:05 +00:00
|
|
|
_init: function(iconName, nameText) {
|
2012-01-05 18:00:06 +00:00
|
|
|
this.parent(0.0, nameText);
|
2011-08-25 15:46:25 +00:00
|
|
|
this.actor.add_style_class_name('panel-status-button');
|
2012-08-26 13:49:18 +00:00
|
|
|
|
|
|
|
this._box = new St.BoxLayout({ style_class: 'panel-status-button-box' });
|
|
|
|
this.actor.add_actor(this._box);
|
|
|
|
|
2012-08-26 14:05:46 +00:00
|
|
|
if (iconName)
|
|
|
|
this.setIcon(iconName);
|
2012-08-26 13:49:18 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
addIcon: function(gicon) {
|
|
|
|
let icon = new St.Icon({ gicon: gicon,
|
|
|
|
style_class: 'system-status-icon' });
|
|
|
|
this._box.add_actor(icon);
|
|
|
|
|
|
|
|
return icon;
|
2010-06-22 21:06:17 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
setIcon: function(iconName) {
|
2012-08-26 13:49:18 +00:00
|
|
|
// Need to first add a NULL GIcon and then set icon_name, to ensure
|
|
|
|
// compatibility with -symbolic fallbacks
|
|
|
|
|
|
|
|
if (!this.mainIcon)
|
|
|
|
this.mainIcon = this.addIcon(null);
|
|
|
|
this.mainIcon.icon_name = iconName;
|
2010-09-26 15:18:26 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
setGIcon: function(gicon) {
|
2012-08-26 13:49:18 +00:00
|
|
|
if (this.mainIcon)
|
|
|
|
this.mainIcon.gicon = gicon;
|
|
|
|
else
|
|
|
|
this.mainIcon = this.addIcon(gicon);
|
2010-06-22 21:06:17 +00:00
|
|
|
}
|
2011-11-20 14:38:48 +00:00
|
|
|
});
|