jkrajniak gnome-shell-ext-icon-manager issues - Githubissues

jkrajniak / gnome-shell-ext-icon-manager

Gnome shell extension

http://clet.blogspot.com/

15 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Gnome 3.16

#11 ikuraj opened 9 years ago
0
Update to GNOME 3.6

#10 falmp opened 12 years ago
7
Use GNOME Shell extension settings pannel

#9 llaumgui closed 12 years ago
2
Cannot move tomboy to the top tray

#8 amig opened 12 years ago
6
Add support for non-root install / extensions.gnome.org

#7 fastcat opened 12 years ago
2
Update to GNOME 3.4

#6 llaumgui closed 12 years ago
0
How can I find the application names

#5 ghost opened 12 years ago
2
doesn't work with gnome 3.2

#4 SeniorSpielbergo closed 13 years ago
2
Battery icon

#3 ludenticus closed 13 years ago
1
Desaturate effect for tray box

#2 azdyb closed 13 years ago
0
Error in readme

#1 llaumgui closed 13 years ago
0