[gnome-shell/T27795: 18/138] runDialog: hide overview when launching command/document
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/T27795: 18/138] runDialog: hide overview when launching command/document
- Date: Tue, 1 Oct 2019 23:30:50 +0000 (UTC)
commit 002ae209446524ed53850e24003fe83dea70780f
Author: Roddy Shuler <roddy endlessm com>
Date: Tue Jul 16 10:50:52 2013 -0700
runDialog: hide overview when launching command/document
This change makes it more convenient for developers to use Alt-F2,
without any impact to the normal user behavior.
[endlessm/eos-shell#555]
https://phabricator.endlessm.com/T19585
js/ui/runDialog.js | 2 ++
1 file changed, 2 insertions(+)
---
diff --git a/js/ui/runDialog.js b/js/ui/runDialog.js
index 32545590ca..a83a846d1a 100644
--- a/js/ui/runDialog.js
+++ b/js/ui/runDialog.js
@@ -204,6 +204,7 @@ class RunDialog extends ModalDialog.ModalDialog {
command = `${exec} ${execArg} ${input}`;
}
Util.trySpawnCommandLine(command);
+ Main.overview.hide();
} catch (e) {
// Mmmh, that failed - see if @input matches an existing file
let path = null;
@@ -220,6 +221,7 @@ class RunDialog extends ModalDialog.ModalDialog {
try {
Gio.app_info_launch_default_for_uri(file.get_uri(),
global.create_app_launch_context(0, -1));
+ Main.overview.hide();
} catch (e) {
// The exception from gjs contains an error string like:
// Error invoking Gio.app_info_launch_default_for_uri: No application
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]