sciancio / connectionmanager2

Simple GUI app for Gnome 3 that provides a menu for initiating SSH/Telnet connections
60 stars 45 forks source link

Port to Gnome 3.12 #44

Closed jozog closed 9 years ago

jozog commented 9 years ago

Needed changes for the search system

plegrand1 commented 9 years ago

hello, i'm using your port to gnome 3.12 and it seems to works fine. I've got just a litle problem : each time i lock and unlock my sessions, after unlocking the icon is very large and i've got to reload gnome shell (alt f2 + r) to fix the problem. Do you know why? thanks

jozog commented 9 years ago

Hmm no, I can't reproduce this problem (I'm using Debian testing). You might try to play with icon_size in extension.js on line 58, or maybe removing it.

plegrand1 commented 9 years ago

Le 26/08/2014 14:22, jozog a écrit :

Hmm no, I can't reproduce this problem (I'm using Debian testing). You might try to play with icon_size in extension.js on line 58 https://github.com/jozog/connectionmanager2/blob/master/extension.js#L58, or maybe removing it.

— Reply to this email directly or view it on GitHub https://github.com/sciancio/connectionmanager2/pull/44#issuecomment-53412170.

Thanks a lot for your answer, i'm going to try to remove it !!

thanks again

plegrand1 commented 9 years ago

Le 26/08/2014 14:28, Pascal Legrand a écrit :

Le 26/08/2014 14:22, jozog a écrit :

Hmm no, I can't reproduce this problem (I'm using Debian testing). You might try to play with icon_size in extension.js on line 58 https://github.com/jozog/connectionmanager2/blob/master/extension.js#L58, or maybe removing it.

— Reply to this email directly or view it on GitHub https://github.com/sciancio/connectionmanager2/pull/44#issuecomment-53412170.

Thanks a lot for your answer, i'm going to try to remove it !!

thanks again

Sorry i understand now you was talking about the icon in the top bar, i'm talking about icon near each server name sorry for my english and thanks again

jozog commented 9 years ago

Ah OK, unfortunately I can't reproduce this problem either. There might be something to do around search.js line 86 but I can't see anything obviously wrong there.

sciancio commented 9 years ago

Thanks jozog, I have merged it in the project.