2008-12-01 19:51:43 +00:00
|
|
|
/* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
|
2008-10-31 18:09:20 +00:00
|
|
|
|
2009-02-02 23:02:16 +00:00
|
|
|
const Big = imports.gi.Big;
|
2008-10-31 18:09:20 +00:00
|
|
|
const Clutter = imports.gi.Clutter;
|
2009-05-07 13:54:21 +00:00
|
|
|
const Lang = imports.lang;
|
2008-11-21 13:54:25 +00:00
|
|
|
const Mainloop = imports.mainloop;
|
2008-11-19 23:04:53 +00:00
|
|
|
const Meta = imports.gi.Meta;
|
|
|
|
const Shell = imports.gi.Shell;
|
2008-10-31 18:09:20 +00:00
|
|
|
|
2008-11-19 23:04:53 +00:00
|
|
|
const Button = imports.ui.button;
|
2008-11-09 18:01:59 +00:00
|
|
|
const Main = imports.ui.main;
|
2008-10-31 23:09:46 +00:00
|
|
|
|
2008-10-31 18:09:20 +00:00
|
|
|
const PANEL_HEIGHT = 32;
|
2009-03-24 18:25:07 +00:00
|
|
|
const TRAY_HEIGHT = 28;
|
|
|
|
const SHADOW_HEIGHT = 6;
|
|
|
|
|
|
|
|
// The panel has a transparent white background with a gradient.
|
|
|
|
const PANEL_TOP_COLOR = new Clutter.Color();
|
|
|
|
PANEL_TOP_COLOR.from_pixel(0xffffff99);
|
|
|
|
const PANEL_MIDDLE_COLOR = new Clutter.Color();
|
|
|
|
PANEL_MIDDLE_COLOR.from_pixel(0xffffff88);
|
|
|
|
const PANEL_BOTTOM_COLOR = new Clutter.Color();
|
|
|
|
PANEL_BOTTOM_COLOR.from_pixel(0xffffffaa);
|
|
|
|
|
|
|
|
const SHADOW_COLOR = new Clutter.Color();
|
|
|
|
SHADOW_COLOR.from_pixel(0x00000033);
|
|
|
|
const TRANSPARENT_COLOR = new Clutter.Color();
|
|
|
|
TRANSPARENT_COLOR.from_pixel(0x00000000);
|
|
|
|
|
|
|
|
// Darken (pressed) buttons; lightening has no effect on white backgrounds.
|
2009-02-04 18:45:38 +00:00
|
|
|
const PANEL_BUTTON_COLOR = new Clutter.Color();
|
2009-03-24 18:25:07 +00:00
|
|
|
PANEL_BUTTON_COLOR.from_pixel(0x00000015);
|
2008-11-15 00:44:11 +00:00
|
|
|
const PRESSED_BUTTON_BACKGROUND_COLOR = new Clutter.Color();
|
2009-03-24 18:25:07 +00:00
|
|
|
PRESSED_BUTTON_BACKGROUND_COLOR.from_pixel(0x00000030);
|
|
|
|
|
|
|
|
const TRAY_BACKGROUND_COLOR = new Clutter.Color();
|
|
|
|
TRAY_BACKGROUND_COLOR.from_pixel(0xefefefff);
|
|
|
|
const TRAY_BORDER_COLOR = new Clutter.Color();
|
|
|
|
TRAY_BORDER_COLOR.from_pixel(0x00000033);
|
|
|
|
const TRAY_CORNER_RADIUS = 5;
|
|
|
|
const TRAY_BORDER_WIDTH = 1;
|
|
|
|
const TRAY_PADDING = 2;
|
|
|
|
const TRAY_SPACING = 2;
|
2008-10-31 18:09:20 +00:00
|
|
|
|
|
|
|
function Panel() {
|
|
|
|
this._init();
|
|
|
|
}
|
|
|
|
|
|
|
|
Panel.prototype = {
|
2008-12-01 19:51:43 +00:00
|
|
|
_init : function() {
|
|
|
|
let global = Shell.Global.get();
|
|
|
|
|
2009-03-24 18:25:07 +00:00
|
|
|
// Put the background under the panel within a group.
|
2009-03-26 22:01:07 +00:00
|
|
|
this.actor = new Clutter.Group();
|
2009-03-24 18:25:07 +00:00
|
|
|
|
|
|
|
// Create backBox, which contains two boxes, backUpper and backLower,
|
|
|
|
// for the background gradients and one for the shadow. The shadow at
|
|
|
|
// the bottom has a fixed height (packing flag NONE), and the rest of
|
|
|
|
// the height above is divided evenly between backUpper and backLower
|
|
|
|
// (with packing flag EXPAND).
|
|
|
|
let backBox = new Big.Box({ orientation: Big.BoxOrientation.VERTICAL,
|
|
|
|
x: 0,
|
|
|
|
y: 0,
|
|
|
|
width: global.screen_width,
|
|
|
|
height: PANEL_HEIGHT + SHADOW_HEIGHT });
|
|
|
|
let backUpper = global.create_vertical_gradient(PANEL_TOP_COLOR,
|
|
|
|
PANEL_MIDDLE_COLOR);
|
|
|
|
let backLower = global.create_vertical_gradient(PANEL_MIDDLE_COLOR,
|
|
|
|
PANEL_BOTTOM_COLOR);
|
|
|
|
let shadow = global.create_vertical_gradient(SHADOW_COLOR,
|
|
|
|
TRANSPARENT_COLOR);
|
2009-04-29 18:01:09 +00:00
|
|
|
shadow.set_height(SHADOW_HEIGHT + 1);
|
2009-03-24 18:25:07 +00:00
|
|
|
backBox.append(backUpper, Big.BoxPackFlags.EXPAND);
|
|
|
|
backBox.append(backLower, Big.BoxPackFlags.EXPAND);
|
|
|
|
backBox.append(shadow, Big.BoxPackFlags.NONE);
|
2009-03-26 22:01:07 +00:00
|
|
|
this.actor.add_actor(backBox);
|
2009-03-24 18:25:07 +00:00
|
|
|
|
|
|
|
let box = new Big.Box({ x: 0,
|
|
|
|
y: 0,
|
|
|
|
height: PANEL_HEIGHT,
|
|
|
|
width: global.screen_width,
|
|
|
|
orientation: Big.BoxOrientation.HORIZONTAL,
|
|
|
|
spacing: 4 });
|
2008-12-01 19:51:43 +00:00
|
|
|
|
2009-02-04 18:45:38 +00:00
|
|
|
this.button = new Button.Button("Activities", PANEL_BUTTON_COLOR, PRESSED_BUTTON_BACKGROUND_COLOR, true, null, PANEL_HEIGHT);
|
2008-12-01 19:51:43 +00:00
|
|
|
|
2009-03-24 18:25:07 +00:00
|
|
|
box.append(this.button.button, Big.BoxPackFlags.NONE);
|
2008-12-01 19:51:43 +00:00
|
|
|
|
2009-02-04 18:45:38 +00:00
|
|
|
let statusbox = new Big.Box();
|
2009-05-07 13:54:21 +00:00
|
|
|
let statusmenu = this._statusmenu = new Shell.StatusMenu();
|
2009-02-04 18:45:38 +00:00
|
|
|
statusbox.append(this._statusmenu, Big.BoxPackFlags.NONE);
|
|
|
|
let statusbutton = new Button.Button(statusbox, PANEL_BUTTON_COLOR, PRESSED_BUTTON_BACKGROUND_COLOR,
|
|
|
|
true, null, PANEL_HEIGHT);
|
|
|
|
statusbutton.button.connect('button-press-event', function (b, e) {
|
2009-05-07 13:54:21 +00:00
|
|
|
statusmenu.toggle(e);
|
2009-02-04 18:45:38 +00:00
|
|
|
return false;
|
|
|
|
});
|
2009-03-24 18:25:07 +00:00
|
|
|
box.append(statusbutton.button, Big.BoxPackFlags.END);
|
2009-02-04 18:45:38 +00:00
|
|
|
// We get a deactivated event when the popup disappears
|
|
|
|
this._statusmenu.connect('deactivated', function (sm) {
|
|
|
|
statusbutton.release();
|
|
|
|
});
|
|
|
|
|
2009-02-23 19:42:00 +00:00
|
|
|
this._clock = new Clutter.Text({ font_name: "Sans Bold 16px",
|
|
|
|
text: "" });
|
2009-01-27 20:29:37 +00:00
|
|
|
let pad = (PANEL_HEIGHT - this._clock.height) / 2;
|
|
|
|
let clockbox = new Big.Box({ padding_top: pad,
|
|
|
|
padding_bottom: pad,
|
2009-03-24 18:25:07 +00:00
|
|
|
padding_left: 4,
|
2009-01-27 20:29:37 +00:00
|
|
|
padding_right: 4 });
|
|
|
|
clockbox.append(this._clock, Big.BoxPackFlags.NONE);
|
2009-03-24 18:25:07 +00:00
|
|
|
box.append(clockbox, Big.BoxPackFlags.END);
|
2008-12-01 19:51:43 +00:00
|
|
|
|
2009-03-24 18:25:07 +00:00
|
|
|
// The tray icons live in trayBox within trayContainer.
|
|
|
|
// With Gtk 2.16, we can also use a transparent background for this.
|
|
|
|
// The trayBox is hidden when there are no tray icons.
|
|
|
|
let trayContainer = new Big.Box({ orientation: Big.BoxOrientation.VERTICAL,
|
|
|
|
y_align: Big.BoxAlignment.CENTER });
|
|
|
|
box.append(trayContainer, Big.BoxPackFlags.END);
|
|
|
|
let trayBox = new Big.Box({ orientation: Big.BoxOrientation.HORIZONTAL,
|
|
|
|
height: TRAY_HEIGHT,
|
|
|
|
background_color: TRAY_BACKGROUND_COLOR,
|
|
|
|
corner_radius: TRAY_CORNER_RADIUS,
|
|
|
|
border: TRAY_BORDER_WIDTH,
|
|
|
|
border_color: TRAY_BORDER_COLOR,
|
|
|
|
padding: TRAY_PADDING,
|
|
|
|
spacing: TRAY_SPACING });
|
|
|
|
trayBox.hide();
|
|
|
|
trayContainer.append(trayBox, Big.BoxPackFlags.NONE);
|
|
|
|
|
|
|
|
this._traymanager = new Shell.TrayManager({ bg_color: TRAY_BACKGROUND_COLOR });
|
2008-12-01 19:51:43 +00:00
|
|
|
this._traymanager.connect('tray-icon-added',
|
2008-11-28 20:12:20 +00:00
|
|
|
function(o, icon) {
|
2009-03-24 18:25:07 +00:00
|
|
|
trayBox.append(icon, Big.BoxPackFlags.NONE);
|
|
|
|
|
|
|
|
// Make sure the trayBox is shown.
|
|
|
|
trayBox.show();
|
2008-12-01 19:51:43 +00:00
|
|
|
});
|
|
|
|
this._traymanager.connect('tray-icon-removed',
|
2008-11-28 20:12:20 +00:00
|
|
|
function(o, icon) {
|
2009-03-24 18:25:07 +00:00
|
|
|
trayBox.remove_actor(icon);
|
|
|
|
|
|
|
|
if (trayBox.get_children().length == 0)
|
|
|
|
trayBox.hide();
|
2008-12-01 19:51:43 +00:00
|
|
|
});
|
|
|
|
this._traymanager.manage_stage(global.stage);
|
|
|
|
|
|
|
|
// TODO: decide what to do with the rest of the panel in the overlay mode (make it fade-out, become non-reactive, etc.)
|
|
|
|
// We get into the overlay mode on button-press-event as opposed to button-release-event because eventually we'll probably
|
|
|
|
// have the overlay act like a menu that allows the user to release the mouse on the activity the user wants
|
|
|
|
// to switch to.
|
|
|
|
this.button.button.connect('button-press-event',
|
2009-05-07 13:47:48 +00:00
|
|
|
Lang.bind(Main.overlay, Main.overlay.toggle));
|
2009-05-08 20:27:14 +00:00
|
|
|
// In addition to pressing the button, the overlay can be entered and exited by other means, such as
|
|
|
|
// pressing the System key, Alt+F1 or Esc. We want the button to be pressed in when the overlay is entered
|
|
|
|
// and to be released when it is exited regardless of how it was triggered.
|
|
|
|
Main.overlay.connect('showing', Lang.bind(this.button, this.button.pressIn));
|
2009-05-07 13:47:48 +00:00
|
|
|
Main.overlay.connect('hiding', Lang.bind(this.button, this.button.release));
|
2008-11-28 20:12:20 +00:00
|
|
|
|
2009-03-26 22:01:07 +00:00
|
|
|
this.actor.add_actor(box);
|
2009-03-24 18:25:07 +00:00
|
|
|
|
2009-03-26 22:01:07 +00:00
|
|
|
global.stage.add_actor(this.actor);
|
2009-04-29 18:01:09 +00:00
|
|
|
// Declare just "box" (ie, not the drop shadow) as a shell actor
|
|
|
|
Main.addShellActor(box);
|
2009-03-24 18:25:07 +00:00
|
|
|
|
2009-05-07 13:54:21 +00:00
|
|
|
global.screen.connect('restacked', Lang.bind(this, this._restacked));
|
2009-03-12 21:13:08 +00:00
|
|
|
this._restacked();
|
2008-12-01 19:51:43 +00:00
|
|
|
|
2008-12-01 19:59:59 +00:00
|
|
|
// Start the clock
|
2008-12-01 19:51:43 +00:00
|
|
|
this._updateClock();
|
|
|
|
},
|
|
|
|
|
2009-03-12 21:13:08 +00:00
|
|
|
_restacked: function() {
|
|
|
|
let global = Shell.Global.get();
|
|
|
|
let windows = global.get_windows();
|
|
|
|
let i;
|
|
|
|
|
|
|
|
// We want to be visible unless there is a window with layer
|
|
|
|
// FULLSCREEN, or a window with layer OVERRIDE_REDIRECT that
|
|
|
|
// completely covers us. (We can't set a non-rectangular
|
|
|
|
// stage_input_area, so we don't let windows overlap us
|
|
|
|
// partially.). "override_redirect" is not actually a layer
|
|
|
|
// above all other windows, but this seems to be how mutter
|
|
|
|
// treats it currently...
|
|
|
|
//
|
|
|
|
// @windows is sorted bottom to top.
|
2009-03-26 22:01:07 +00:00
|
|
|
this.actor.show();
|
2009-03-12 21:13:08 +00:00
|
|
|
for (i = windows.length - 1; i > -1; i--) {
|
|
|
|
let layer = windows[i].get_meta_window().get_layer();
|
|
|
|
|
|
|
|
if (layer == Meta.StackLayer.OVERRIDE_REDIRECT) {
|
2009-03-26 22:01:07 +00:00
|
|
|
if (windows[i].x <= this.actor.x &&
|
|
|
|
windows[i].x + windows[i].width >= this.actor.x + this.actor.width &&
|
|
|
|
windows[i].y <= this.actor.y &&
|
|
|
|
windows[i].y + windows[i].height >= this.actor.y + PANEL_HEIGHT) {
|
|
|
|
this.actor.hide();
|
2009-03-12 21:13:08 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
} else if (layer == Meta.StackLayer.FULLSCREEN) {
|
2009-03-26 22:01:07 +00:00
|
|
|
this.actor.hide();
|
2009-03-12 21:13:08 +00:00
|
|
|
break;
|
|
|
|
} else
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2008-12-01 19:51:43 +00:00
|
|
|
_updateClock: function() {
|
2009-05-02 22:33:13 +00:00
|
|
|
let displayDate = new Date();
|
|
|
|
let msecRemaining = 60000 - (1000 * displayDate.getSeconds() +
|
|
|
|
displayDate.getMilliseconds());
|
|
|
|
if (msecRemaining < 500) {
|
|
|
|
displayDate.setMinutes(displayDate.getMinutes() + 1);
|
|
|
|
msecRemaining += 60000;
|
2008-12-01 19:59:59 +00:00
|
|
|
}
|
2009-05-02 22:33:13 +00:00
|
|
|
this._clock.set_text(displayDate.toLocaleFormat("%a %b %e, %l:%M %p"));
|
2009-05-07 13:54:21 +00:00
|
|
|
Mainloop.timeout_add(msecRemaining, Lang.bind(this, this._updateClock));
|
|
|
|
return false;
|
2008-12-01 19:51:43 +00:00
|
|
|
}
|
2008-10-31 18:09:20 +00:00
|
|
|
};
|