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

6 Commits (c7e3156798c40998e49c22dfd7e787e40b3f6ea0)

Author SHA1 Message Date
Jens Lody 164d0082f8 Prepare for 3.12 compatibility.
11 years ago
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