Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support Gnome 3.18 #56

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open

Support Gnome 3.18 #56

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
b2eef29
Port to Gnome 3.12
jozog Jul 28, 2014
f8130bf
Merge remote-tracking branch 'upstream/master'
jozog Oct 15, 2014
689cda5
Gnome 3.14 support
jozog Oct 15, 2014
9041b1f
Remove search provider on disable to avoid duplicated search provider…
jozog Oct 16, 2014
cf2afa8
Update metadata.json
dariolesca May 21, 2015
b0cd7ec
merge
nonZero Nov 1, 2015
4f87806
updated to gnome 3.18
nonZero Nov 1, 2015
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 12 additions & 4 deletions extension.js
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -74,11 +74,14 @@ const ConnectionManager = new Lang.Class({
this._searchProvider = new Search.SshSearchProvider('CONNECTION MANAGER');

if( typeof Main.overview.viewSelector === "object" &&
typeof Main.overview.viewSelector._searchResults === "object" &&
typeof Main.overview.viewSelector._searchResults._searchSystem === "object" &&
typeof Main.overview.viewSelector._searchResults._searchSystem.addProvider === "function") {
typeof Main.overview.viewSelector._searchResults === "object") {
if(typeof Main.overview.viewSelector._searchResults._registerProvider === "function") { //3.14
Main.overview.viewSelector._searchResults._registerProvider(this._searchProvider);
} else if(typeof Main.overview.viewSelector._searchResults._searchSystem === "object" &&
typeof Main.overview.viewSelector._searchResults._searchSystem.addProvider === "function") { //3.12
Main.overview.viewSelector._searchResults._searchSystem.addProvider(this._searchProvider);
}
}
}

this._readConf();
},
Expand Down Expand Up @@ -328,6 +331,11 @@ function enable() {
}

function disable() {
if(cm._searchProvider!=null) {
Main.overview.removeSearchProvider(cm._searchProvider);
cm._searchProvider = null;
}

cm.monitor.cancel();
cm.destroy();
}
Expand Down
4 changes: 2 additions & 2 deletions metadata.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"shell-version": ["3.12"],
"version": "0.8.3",
"shell-version": ["3.12", "3.14", "3.16", "3.18"],
"version": "0.8.5",
"uuid": "connectionmanager2@ciancio.net",
"name": "Connection Manager",
"description": "Simple GUI app for Gnome 3 that provides a menu for initiating SSH/Telnet/Custom Apps connections.",
Expand Down