2009-04-13 14:55:41 +00:00
|
|
|
/* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
|
|
|
|
|
|
|
|
const Big = imports.gi.Big;
|
|
|
|
const Clutter = imports.gi.Clutter;
|
|
|
|
const Lang = imports.lang;
|
2009-05-13 19:32:51 +00:00
|
|
|
const Meta = imports.gi.Meta;
|
2009-04-13 14:55:41 +00:00
|
|
|
const Pango = imports.gi.Pango;
|
|
|
|
const Shell = imports.gi.Shell;
|
|
|
|
|
2009-09-22 19:24:14 +00:00
|
|
|
const Lightbox = imports.ui.lightbox;
|
2009-04-13 14:55:41 +00:00
|
|
|
const Main = imports.ui.main;
|
|
|
|
const Tweener = imports.ui.tweener;
|
|
|
|
|
|
|
|
const POPUP_BG_COLOR = new Clutter.Color();
|
|
|
|
POPUP_BG_COLOR.from_pixel(0x00000080);
|
|
|
|
const POPUP_INDICATOR_COLOR = new Clutter.Color();
|
|
|
|
POPUP_INDICATOR_COLOR.from_pixel(0xf0f0f0ff);
|
|
|
|
const POPUP_TRANSPARENT = new Clutter.Color();
|
|
|
|
POPUP_TRANSPARENT.from_pixel(0x00000000);
|
|
|
|
|
|
|
|
const POPUP_INDICATOR_WIDTH = 4;
|
|
|
|
const POPUP_GRID_SPACING = 8;
|
|
|
|
const POPUP_ICON_SIZE = 48;
|
|
|
|
const POPUP_NUM_COLUMNS = 5;
|
|
|
|
|
|
|
|
const POPUP_LABEL_MAX_WIDTH = POPUP_NUM_COLUMNS * (POPUP_ICON_SIZE + POPUP_GRID_SPACING);
|
|
|
|
|
2009-05-13 18:53:49 +00:00
|
|
|
const SWITCH_TIME = 0.1;
|
|
|
|
|
2009-04-13 14:55:41 +00:00
|
|
|
function AltTabPopup() {
|
|
|
|
this._init();
|
|
|
|
}
|
|
|
|
|
|
|
|
AltTabPopup.prototype = {
|
|
|
|
_init : function() {
|
2009-08-05 23:54:22 +00:00
|
|
|
this.actor = new Big.Box({ background_color : POPUP_BG_COLOR,
|
2009-04-13 14:55:41 +00:00
|
|
|
corner_radius: POPUP_GRID_SPACING,
|
|
|
|
padding: POPUP_GRID_SPACING,
|
|
|
|
spacing: POPUP_GRID_SPACING,
|
|
|
|
orientation: Big.BoxOrientation.VERTICAL });
|
|
|
|
|
2009-08-19 23:35:02 +00:00
|
|
|
// Icon grid. TODO: Investigate Nbtk.Grid once that lands. Currently
|
|
|
|
// just implemented using a chain of Big.Box.
|
2009-08-05 23:54:22 +00:00
|
|
|
this._grid = new Big.Box({ spacing: POPUP_GRID_SPACING,
|
2009-04-13 14:55:41 +00:00
|
|
|
orientation: Big.BoxOrientation.VERTICAL });
|
|
|
|
let gcenterbox = new Big.Box({ orientation: Big.BoxOrientation.HORIZONTAL,
|
|
|
|
x_align: Big.BoxAlignment.CENTER });
|
|
|
|
gcenterbox.append(this._grid, Big.BoxPackFlags.NONE);
|
2009-08-05 23:54:22 +00:00
|
|
|
this.actor.append(gcenterbox, Big.BoxPackFlags.NONE);
|
2009-04-13 14:55:41 +00:00
|
|
|
|
|
|
|
// Selected-window label
|
2009-08-05 23:54:22 +00:00
|
|
|
this._label = new Clutter.Text({ font_name: "Sans 16px",
|
2009-04-13 14:55:41 +00:00
|
|
|
ellipsize: Pango.EllipsizeMode.END });
|
|
|
|
|
|
|
|
let labelbox = new Big.Box({ background_color: POPUP_INDICATOR_COLOR,
|
|
|
|
corner_radius: POPUP_GRID_SPACING / 2,
|
|
|
|
padding: POPUP_GRID_SPACING / 2 });
|
2009-08-02 19:49:10 +00:00
|
|
|
labelbox.append(this._label, Big.BoxPackFlags.NONE);
|
2009-04-13 14:55:41 +00:00
|
|
|
let lcenterbox = new Big.Box({ orientation: Big.BoxOrientation.HORIZONTAL,
|
|
|
|
x_align: Big.BoxAlignment.CENTER,
|
|
|
|
width: POPUP_LABEL_MAX_WIDTH + POPUP_GRID_SPACING });
|
|
|
|
lcenterbox.append(labelbox, Big.BoxPackFlags.NONE);
|
2009-08-05 23:54:22 +00:00
|
|
|
this.actor.append(lcenterbox, Big.BoxPackFlags.NONE);
|
2009-04-13 14:55:41 +00:00
|
|
|
|
|
|
|
// Indicator around selected icon
|
|
|
|
this._indicator = new Big.Rectangle({ border_width: POPUP_INDICATOR_WIDTH,
|
|
|
|
corner_radius: POPUP_INDICATOR_WIDTH / 2,
|
|
|
|
border_color: POPUP_INDICATOR_COLOR,
|
|
|
|
color: POPUP_TRANSPARENT });
|
|
|
|
this.actor.append(this._indicator, Big.BoxPackFlags.FIXED);
|
|
|
|
|
2009-08-05 23:54:22 +00:00
|
|
|
this._items = [];
|
2009-04-13 14:55:41 +00:00
|
|
|
|
2009-08-05 23:54:22 +00:00
|
|
|
global.stage.add_actor(this.actor);
|
2009-04-13 14:55:41 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
addWindow : function(win) {
|
|
|
|
let item = { window: win,
|
|
|
|
metaWindow: win.get_meta_window() };
|
|
|
|
|
|
|
|
let pixbuf = item.metaWindow.icon;
|
|
|
|
item.icon = new Clutter.Texture({ width: POPUP_ICON_SIZE,
|
|
|
|
height: POPUP_ICON_SIZE,
|
|
|
|
keep_aspect_ratio: true });
|
|
|
|
Shell.clutter_texture_set_from_pixbuf(item.icon, pixbuf);
|
|
|
|
|
|
|
|
item.box = new Big.Box({ padding: POPUP_INDICATOR_WIDTH * 2 });
|
|
|
|
item.box.append(item.icon, Big.BoxPackFlags.NONE);
|
|
|
|
|
|
|
|
item.n = this._items.length;
|
|
|
|
this._items.push(item);
|
|
|
|
|
|
|
|
// Add it to the grid
|
|
|
|
if (!this._gridRow || this._gridRow.get_children().length == POPUP_NUM_COLUMNS) {
|
|
|
|
this._gridRow = new Big.Box({ spacing: POPUP_GRID_SPACING,
|
|
|
|
orientation: Big.BoxOrientation.HORIZONTAL });
|
|
|
|
this._grid.append(this._gridRow, Big.BoxPackFlags.NONE);
|
|
|
|
}
|
|
|
|
this._gridRow.append(item.box, Big.BoxPackFlags.NONE);
|
|
|
|
},
|
|
|
|
|
|
|
|
show : function(initialSelection) {
|
2009-09-22 19:24:14 +00:00
|
|
|
// Need to specify explicit width and height because the
|
|
|
|
// window_group may not actually cover the whole screen
|
|
|
|
this._lightbox = new Lightbox.Lightbox(global.window_group,
|
|
|
|
global.screen_width,
|
|
|
|
global.screen_height);
|
2009-04-13 14:55:41 +00:00
|
|
|
|
2009-08-05 23:54:22 +00:00
|
|
|
this.actor.show_all();
|
2009-08-02 19:49:10 +00:00
|
|
|
this.actor.x = Math.floor((global.screen_width - this.actor.width) / 2);
|
|
|
|
this.actor.y = Math.floor((global.screen_height - this.actor.height) / 2);
|
2009-04-13 14:55:41 +00:00
|
|
|
|
|
|
|
this.select(initialSelection);
|
|
|
|
},
|
|
|
|
|
|
|
|
destroy : function() {
|
2009-08-05 23:54:22 +00:00
|
|
|
this.actor.destroy();
|
2009-09-22 19:24:14 +00:00
|
|
|
this._lightbox.destroy();
|
2009-04-13 14:55:41 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
select : function(n) {
|
|
|
|
if (this._selected) {
|
|
|
|
// Unselect previous
|
|
|
|
|
|
|
|
if (this._allocationChangedId) {
|
|
|
|
this._selected.box.disconnect(this._allocationChangedId);
|
|
|
|
delete this._allocationChangedId;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let item = this._items[n];
|
|
|
|
let changed = this._selected && item != this._selected;
|
|
|
|
this._selected = item;
|
|
|
|
|
|
|
|
if (this._selected) {
|
|
|
|
this._label.set_size(-1, -1);
|
|
|
|
this._label.text = this._selected.metaWindow.title;
|
|
|
|
if (this._label.width > POPUP_LABEL_MAX_WIDTH)
|
|
|
|
this._label.width = POPUP_LABEL_MAX_WIDTH;
|
|
|
|
|
|
|
|
// Figure out this._selected.box's coordinates in terms of
|
|
|
|
// this.actor
|
|
|
|
let bx = this._selected.box.x, by = this._selected.box.y;
|
|
|
|
let actor = this._selected.box.get_parent();
|
|
|
|
while (actor != this.actor) {
|
|
|
|
bx += actor.x;
|
|
|
|
by += actor.y;
|
|
|
|
actor = actor.get_parent();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (changed) {
|
|
|
|
Tweener.addTween(this._indicator,
|
|
|
|
{ x: bx,
|
|
|
|
y: by,
|
|
|
|
width: this._selected.box.width,
|
|
|
|
height: this._selected.box.height,
|
2009-05-13 18:53:49 +00:00
|
|
|
time: SWITCH_TIME,
|
|
|
|
transition: "easeOutQuad" });
|
2009-04-13 14:55:41 +00:00
|
|
|
} else {
|
|
|
|
Tweener.removeTweens(this.indicator);
|
|
|
|
this._indicator.set_position(bx, by);
|
|
|
|
this._indicator.set_size(this._selected.box.width,
|
|
|
|
this._selected.box.height);
|
|
|
|
}
|
|
|
|
this._indicator.show();
|
|
|
|
|
2009-09-22 19:24:14 +00:00
|
|
|
this._lightbox.highlight(this._selected.window);
|
2009-04-13 14:55:41 +00:00
|
|
|
|
|
|
|
this._allocationChangedId =
|
|
|
|
this._selected.box.connect('notify::allocation',
|
|
|
|
Lang.bind(this, this._allocationChanged));
|
|
|
|
} else {
|
|
|
|
this._label.text = "";
|
|
|
|
this._indicator.hide();
|
2009-09-22 19:24:14 +00:00
|
|
|
this._lightbox.highlight(null);
|
2009-04-13 14:55:41 +00:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
|
|
|
_allocationChanged : function() {
|
|
|
|
if (this._selected)
|
|
|
|
this.select(this._selected.n);
|
|
|
|
}
|
|
|
|
};
|