[gnome-shell-extensions] drive-menu: Reindent to conform with new style
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] drive-menu: Reindent to conform with new style
- Date: Wed, 22 May 2019 18:46:07 +0000 (UTC)
commit 06f13038348594c7fcb42cd3e4d2535f97583726
Author: Florian Müllner <fmuellner gnome org>
Date: Sat Mar 2 23:12:56 2019 +0100
drive-menu: Reindent to conform with new style
Instead of aligning arguments like we used to do, use a consistent
four-space indent as mandated by gjs' current style guide.
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/66
extensions/drive-menu/extension.js | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/extensions/drive-menu/extension.js b/extensions/drive-menu/extension.js
index 7c8e36c..b759254 100644
--- a/extensions/drive-menu/extension.js
+++ b/extensions/drive-menu/extension.js
@@ -73,10 +73,10 @@ class MountMenuItem extends PopupMenu.PopupBaseMenuItem {
if (this.mount.can_eject())
this.mount.eject_with_operation(...unmountArgs,
- this._ejectFinish.bind(this));
+ this._ejectFinish.bind(this));
else
this.mount.unmount_with_operation(...unmountArgs,
- this._unmountFinish.bind(this));
+ this._unmountFinish.bind(this));
}
_unmountFinish(mount, result) {
@@ -102,9 +102,9 @@ class MountMenuItem extends PopupMenu.PopupBaseMenuItem {
}
activate(event) {
+ let uri = this.mount.get_root().get_uri();
let context = global.create_app_launch_context(event.get_time(), -1);
- Gio.AppInfo.launch_default_for_uri(this.mount.get_root().get_uri(),
- context);
+ Gio.AppInfo.launch_default_for_uri(uri, context);
super.activate(event);
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]