[gnome-shell/eos3.8: 10/255] runDialog: hide overview when launching command/document
- From: Matthew Leeds <mwleeds src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/eos3.8: 10/255] runDialog: hide overview when launching command/document
- Date: Wed, 10 Jun 2020 18:58:47 +0000 (UTC)
commit dd2ab6301b07c1abc25e8a74830a5fff7f8cc3fb
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 356a974363..f30e80178a 100644
--- a/js/ui/runDialog.js
+++ b/js/ui/runDialog.js
@@ -197,6 +197,7 @@ class RunDialog extends ModalDialog.ModalDialog {
command = '%s %s %s'.format(exec, execArg, input);
}
Util.trySpawnCommandLine(command);
+ Main.overview.hide();
} catch (e) {
// Mmmh, that failed - see if @input matches an existing file
let path = null;
@@ -213,6 +214,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 (err) {
// 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]