sustmi/gnome-shell-extensions-sustmi

Gnome-Shell 3.8

Closed this issue · 6 comments

Hi,

This works in Gnome-Shell 3.8 by adding:

,
"3.8"

After the last version entry. Not sure if anything else needs to be done but it seems ok so far :)

Hi, which extension do you mean, windowoverlay-icons or historymanager-prefix-search?
I probably should make separate repository for them.
BTW, windowoverlay-icons already supports 3.8 ( 076eefa ).

Ooops sorry - the historymanager is the one I meant :) It's prob already updated by now, I had my SSD die on me the other day so need to wait on it's replacement and rebuild :P

I'm sorry, I totally forgot about this. Now that I have gnome-shell-3.8 too, I'm fixing it. ;)
4569268

Hi Sustmi,

Could you please update windowoverlay-icons to 3.10?

Also history manager is working for 3.10 with just changing the version :)

Regards,
Peter


From: sustmi notifications@github.com
To: sustmi/gnome-shell-extensions-sustmi gnome-shell-extensions-sustmi@noreply.github.com
Cc: mightymouse2045 eagleeyes426@yahoo.com
Sent: Sunday, 26 May 2013 8:27 PM
Subject: Re: [gnome-shell-extensions-sustmi] Gnome-Shell 3.8 (#16)

Hi, which extension do you mean, windowoverlay-icons or historymanager-prefix-search?
I probably should make separate repository for them.
BTW, windowoverlay-icons already supports 3.8 ( 076eefa ).

Reply to this email directly or view it on GitHub.

Hi Peter,

history-manager was updated in 57940b7.
Let's leave this issue closed and solve windowoverlay-icons problems in #20 .

Hi,

You're a legend that was quick.

I'm on Ubuntu Gnome 13.10 with gome3 and gnome-shell3-next ppa's which provide 3.10 gnome-shell. There is also a staging 3.10 ppa, however I don't feel it's stable enough for my desktop

I'll install both of these and update the Overlay issue once I've tested if I can see any issues with it

Thanks again,
Peter


From: sustmi notifications@github.com
To: sustmi/gnome-shell-extensions-sustmi gnome-shell-extensions-sustmi@noreply.github.com
Cc: mightymouse2045 eagleeyes426@yahoo.com
Sent: Monday, 7 October 2013 1:14 AM
Subject: Re: [gnome-shell-extensions-sustmi] Gnome-Shell 3.8 (#16)

Hi Peter,
history-manager was updated in 57940b7.7
Let's leave this issue closed and solve windowoverlay-icons problems in #20 .

Reply to this email directly or view it on GitHub.