Consistently exit the overview when launching external applications
We were doing this in one or two places, but not most of them. https://bugzilla.gnome.org/show_bug.cgi?id=653095
This commit is contained in:
parent
a34071e1c3
commit
8834a7df10
@ -198,6 +198,7 @@ DateMenuButton.prototype = {
|
|||||||
|
|
||||||
_onPreferencesActivate: function() {
|
_onPreferencesActivate: function() {
|
||||||
this.menu.close();
|
this.menu.close();
|
||||||
|
Main.overview.hide();
|
||||||
let app = Shell.AppSystem.get_default().get_app('gnome-datetime-panel.desktop');
|
let app = Shell.AppSystem.get_default().get_app('gnome-datetime-panel.desktop');
|
||||||
app.activate(-1);
|
app.activate(-1);
|
||||||
},
|
},
|
||||||
|
@ -10,6 +10,7 @@ const Shell = imports.gi.Shell;
|
|||||||
const Signals = imports.signals;
|
const Signals = imports.signals;
|
||||||
const St = imports.gi.St;
|
const St = imports.gi.St;
|
||||||
|
|
||||||
|
const Main = imports.ui.main;
|
||||||
const PanelMenu = imports.ui.panelMenu;
|
const PanelMenu = imports.ui.panelMenu;
|
||||||
const PopupMenu = imports.ui.popupMenu;
|
const PopupMenu = imports.ui.popupMenu;
|
||||||
const Util = imports.misc.util;
|
const Util = imports.misc.util;
|
||||||
@ -88,6 +89,7 @@ ATIndicator.prototype = {
|
|||||||
|
|
||||||
this.menu.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
this.menu.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
||||||
this.menu.addAction(_("Universal Access Settings"), function() {
|
this.menu.addAction(_("Universal Access Settings"), function() {
|
||||||
|
Main.overview.hide();
|
||||||
let app = Shell.AppSystem.get_default().get_app('gnome-universal-access-panel.desktop');
|
let app = Shell.AppSystem.get_default().get_app('gnome-universal-access-panel.desktop');
|
||||||
app.activate(-1);
|
app.activate(-1);
|
||||||
});
|
});
|
||||||
|
@ -90,6 +90,7 @@ Indicator.prototype = {
|
|||||||
this._updateFullMenu();
|
this._updateFullMenu();
|
||||||
|
|
||||||
this.menu.addAction(_("Bluetooth Settings"), function() {
|
this.menu.addAction(_("Bluetooth Settings"), function() {
|
||||||
|
Main.overview.hide()
|
||||||
let app = Shell.AppSystem.get_default().get_app('bluetooth-properties.desktop');
|
let app = Shell.AppSystem.get_default().get_app('bluetooth-properties.desktop');
|
||||||
app.activate(-1);
|
app.activate(-1);
|
||||||
});
|
});
|
||||||
|
@ -9,6 +9,7 @@ const Lang = imports.lang;
|
|||||||
const Shell = imports.gi.Shell;
|
const Shell = imports.gi.Shell;
|
||||||
const St = imports.gi.St;
|
const St = imports.gi.St;
|
||||||
|
|
||||||
|
const Main = imports.ui.main;
|
||||||
const PopupMenu = imports.ui.popupMenu;
|
const PopupMenu = imports.ui.popupMenu;
|
||||||
const PanelMenu = imports.ui.panelMenu;
|
const PanelMenu = imports.ui.panelMenu;
|
||||||
const Util = imports.misc.util;
|
const Util = imports.misc.util;
|
||||||
@ -68,9 +69,11 @@ XKBIndicator.prototype = {
|
|||||||
|
|
||||||
this.menu.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
this.menu.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
||||||
this.menu.addAction(_("Show Keyboard Layout..."), Lang.bind(this, function() {
|
this.menu.addAction(_("Show Keyboard Layout..."), Lang.bind(this, function() {
|
||||||
|
Main.overview.hide();
|
||||||
Util.spawn(['gkbd-keyboard-display', '-g', String(this._config.get_current_group() + 1)]);
|
Util.spawn(['gkbd-keyboard-display', '-g', String(this._config.get_current_group() + 1)]);
|
||||||
}));
|
}));
|
||||||
this.menu.addAction(_("Localization Settings"), function() {
|
this.menu.addAction(_("Localization Settings"), function() {
|
||||||
|
Main.overview.hide();
|
||||||
let app = Shell.AppSystem.get_default().get_app('gnome-region-panel.desktop');
|
let app = Shell.AppSystem.get_default().get_app('gnome-region-panel.desktop');
|
||||||
app.activate(-1);
|
app.activate(-1);
|
||||||
});
|
});
|
||||||
|
@ -1632,6 +1632,7 @@ NMApplet.prototype = {
|
|||||||
this.menu.addMenuItem(this._devices.vpn.section);
|
this.menu.addMenuItem(this._devices.vpn.section);
|
||||||
|
|
||||||
this.menu.addAction(_("Network Settings"), function() {
|
this.menu.addAction(_("Network Settings"), function() {
|
||||||
|
Main.overview.hide();
|
||||||
let app = Shell.AppSystem.get_default().get_app('gnome-network-panel.desktop');
|
let app = Shell.AppSystem.get_default().get_app('gnome-network-panel.desktop');
|
||||||
app.activate(-1);
|
app.activate(-1);
|
||||||
});
|
});
|
||||||
|
@ -7,6 +7,7 @@ const Mainloop = imports.mainloop;
|
|||||||
const Shell = imports.gi.Shell;
|
const Shell = imports.gi.Shell;
|
||||||
const St = imports.gi.St;
|
const St = imports.gi.St;
|
||||||
|
|
||||||
|
const Main = imports.ui.main;
|
||||||
const PanelMenu = imports.ui.panelMenu;
|
const PanelMenu = imports.ui.panelMenu;
|
||||||
const PopupMenu = imports.ui.popupMenu;
|
const PopupMenu = imports.ui.popupMenu;
|
||||||
const Util = imports.misc.util;
|
const Util = imports.misc.util;
|
||||||
@ -80,6 +81,7 @@ Indicator.prototype = {
|
|||||||
this.menu.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
this.menu.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
||||||
|
|
||||||
this.menu.addAction(_("Power Settings"),function() {
|
this.menu.addAction(_("Power Settings"),function() {
|
||||||
|
Main.overview.hide();
|
||||||
let app = Shell.AppSystem.get_default().get_app('gnome-power-panel.desktop');
|
let app = Shell.AppSystem.get_default().get_app('gnome-power-panel.desktop');
|
||||||
app.activate(-1);
|
app.activate(-1);
|
||||||
});
|
});
|
||||||
|
@ -9,6 +9,7 @@ const Gvc = imports.gi.Gvc;
|
|||||||
const Signals = imports.signals;
|
const Signals = imports.signals;
|
||||||
const St = imports.gi.St;
|
const St = imports.gi.St;
|
||||||
|
|
||||||
|
const Main = imports.ui.main;
|
||||||
const PanelMenu = imports.ui.panelMenu;
|
const PanelMenu = imports.ui.panelMenu;
|
||||||
const PopupMenu = imports.ui.popupMenu;
|
const PopupMenu = imports.ui.popupMenu;
|
||||||
const Util = imports.misc.util;
|
const Util = imports.misc.util;
|
||||||
@ -61,6 +62,7 @@ Indicator.prototype = {
|
|||||||
|
|
||||||
this.menu.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
this.menu.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
||||||
this.menu.addAction(_("Sound Settings"), function() {
|
this.menu.addAction(_("Sound Settings"), function() {
|
||||||
|
Main.overview.hide();
|
||||||
let app = Shell.AppSystem.get_default().get_app('gnome-sound-panel.desktop');
|
let app = Shell.AppSystem.get_default().get_app('gnome-sound-panel.desktop');
|
||||||
app.activate(-1);
|
app.activate(-1);
|
||||||
});
|
});
|
||||||
|
Loading…
Reference in New Issue
Block a user