← Back to branch summary

~jbicha/ubuntu/oneiric/gnome-shell/oneiric-3.2.2.1

« back to all changes in this revision

Viewing changes to src/gnome-shell-extension-tool.in

  • Committer: Package Import Robot
  • Author(s): Jeremy Bicha
  • Date: 2011-09-07 09:09:05 UTC
  • mfrom: (1.1.29 upstream)
  • Revision ID: package-import@ubuntu.com-20110907090905-kbo4fewcg12zt99u
Tags: 3.1.90.1-0ubuntu1
* New upstream release.
* debian/control: Bump build-depends on new mutter
* debian/patches/01_favorite_apps.patch: Updated
* debian/patches/03_remove-glx-dependency-on-armel.patch: Refreshed
* debian/patches/04_build-without-caribou.patch
  - Build without caribou since Ubuntu uses onboard and our System 
    Settings doesn't support choosing a different screen keyboard yet

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/gnome-shell-extension-tool.in
33
33
const Main = imports.ui.main;
34
34
const Tweener = imports.ui.tweener;
35
35
 
36
 
let text;
 
36
let text, button;
37
37
 
38
38
function _hideHello() {
39
39
    Main.uiGroup.remove_actor(text);
60
60
                       onComplete: _hideHello });
61
61
}
62
62
 
63
 
function main() {
64
 
    let button = new St.Bin({ style_class: 'panel-button',
65
 
                              reactive: true,
66
 
                              can_focus: true,
67
 
                              x_fill: true,
68
 
                              y_fill: false,
69
 
                              track_hover: true });
 
63
function init() {
 
64
    button = new St.Bin({ style_class: 'panel-button',
 
65
                          reactive: true,
 
66
                          can_focus: true,
 
67
                          x_fill: true,
 
68
                          y_fill: false,
 
69
                          track_hover: true });
70
70
    let icon = new St.Icon({ icon_name: 'system-run',
71
71
                             icon_type: St.IconType.SYMBOLIC,
72
72
                             style_class: 'system-status-icon' });
73
73
 
74
74
    button.set_child(icon);
75
75
    button.connect('button-press-event', _showHello);
 
76
}
76
77
 
 
78
function enable() {
77
79
    Main.panel._rightBox.insert_actor(button, 0);
78
80
}
 
81
 
 
82
function disable() {
 
83
    Main.panel._rightBox.remove_actor(button);
 
84
}
79
85
""",
80
86
 
81
87
    "stylesheet.css": """