jenna
/
gnome-shell-extension-panel-osd
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
8 Commits
1 Branch
2 Tags
337 KiB
Tag: Branch: Tree: 50ef18ca8c
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '50ef18ca8c'
${ noResults }
Commit Graph

4 Commits (50ef18ca8cecb0ed85f77ff3627b8dd2c5ba896b)

Author SHA1 Message Date
Jens Lody 50ef18ca8c 3.6 compatibility fixes
11 years ago
Jens Lody b1e4f59a64 Add own class-name to change border-radius, otherwise the changed value remains after switching off the extension.
11 years ago
Jens Lody d5a4afb914 gnome-shell 3.10 compatibility
11 years ago
Jens Lody 4f5ec93806 initial commit based on panel OSD extension (extension.js, stylesheet,css)
11 years ago