After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 692030 - launch-new-instance: New extension
launch-new-instance: New extension
Product: gnome-shell
Classification: Core
Component: extensions
Other All
: Normal normal
: ---
Assigned To: gnome-shell-maint
Depends on:
Blocks: 685744
Reported: 2013-01-18 19:23 UTC by Florian Müllner
Modified: 2013-01-25 13:38 UTC
See Also:
GNOME target: ---
GNOME version: ---

launch-new-instance: New extension (4.80 KB, patch)
2013-01-18 19:23 UTC, Florian Müllner
committed Details | Review

Description Florian Müllner 2013-01-18 19:23:38 UTC
Another item from the classic-mode wish list; the patch is based on an existing extension[0] (updated slightly to work with 3.7.x), the original author was kind enough to give us permission to upstream it.

Comment 1 Florian Müllner 2013-01-18 19:23:40 UTC
Created attachment 233785 [details] [review]
launch-new-instance: New extension
Comment 2 Giovanni Campagna 2013-01-18 22:18:20 UTC
Review of attachment 233785 [details] [review]:

::: extensions/launch-new-instance/extension.js
@@ +23,3 @@
+function init() {
+  _onActivateOriginal = AppDisplay.AppWellIcon.prototype._onActivate;
+  _activateResultOriginal = AppDisplay.AppSearchProvider.prototype.activateResult;

These need to be in enable(), in case some other extension is changing them.
Comment 3 Florian Müllner 2013-01-18 22:40:04 UTC
Attachment 233785 [details] pushed as b673e16 - launch-new-instance: New extension

Sorry, brain-dead copy+pasting - fixed.