← Back to branch summary

~guadalinex-members/gnome-shell-extension-classic-menus/3.1.x

« back to all changes in this revision

Viewing changes to gnome-shell-classic-menus@emergya.com/extension.js

  • Committer: Antonio Hernández
  • Date: 2011-11-23 10:58:07 UTC
  • Revision ID: git-v1:54e0524d2d1a6a0de1d5662a28d4edcd369d5b54
Tags: v0.2
Comment on this._boxPointer.hide() method.

Show diffs side-by-side

added added

removed removed

Lines of Context:
gnome-shell-classic-menus@emergya.com/extension.js
93
93
 
94
94
    let symbol = event.get_key_symbol();
95
95
 
96
 
    if (symbol == Clutter.Escape  || symbol == Clutter.KEY_Left) {
 
96
    if (symbol == Clutter.Escape || symbol == Clutter.KEY_Left) {
97
97
 
98
98
        this.close(true);
99
99
        return true;
172
172
        return;
173
173
    if (this._activeMenuItem)
174
174
        this._activeMenuItem.setActive(false);
 
175
 
 
176
    // TODO: We have to overwrite this._boxPointer.hide() method,
 
177
    // remove the unwanted funcionality and leave the good things.
175
178
    this._boxPointer.actor.hide(false);
176
179
//    this._boxPointer.hide(false);
177
180