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

5 Commits (481f2eb33f5a0187ce418aa8b9988e579c3e4160)

Author SHA1 Message Date
Jens Lody ab74dd8fa6 Change all names and the uuid, after assigning the gnome-extension to me on extensions.gnome.org
11 years ago
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