Jens Lody
f52cf19c28
Add actual development version of gnome-shell to metadata.json
9 years ago
Jens Lody
892aac3545
Add ability to set version via configure-script; useful for local-builds or when packaged for distros.
9 years ago
Jens Lody
2ab106add7
Add actual development version of gnome-shell to metadata.json
9 years ago
Jens Lody
2b116b7591
Revert changes to automatically fix neededd gs-version in metadata.json, because it does not work reliable and bribf´gs no real benefit.
...
Update metadata.json.in to newest development version of gnome-shell.
9 years ago
None
aae436905c
Remove code related to gnome-shell < 3.10, add 3.16 compatibility.
10 years ago
None
d2289c2569
enable on actual unstable gnome-shell (3.15.91)
10 years ago
Jens Lody
ececc5787a
enable on actual unstable gnome-shell (3.15.4)
10 years ago
Jens Lody
f89522c999
enable on actual unstable gnome-shell (3.15.3)
10 years ago
Jens Lody
927f3036b6
updates for gnome-shell 3.14
10 years ago
Jens Lody
27a8ca353e
Remove development versions from metadata.json.in (3.11.x), just keep major versions (3.6 - 3.12).
11 years ago
Jens Lody
0ccd1db546
3.11.91 compatibility
11 years ago
Jens Lody
50223342ef
Added 3.12 to dependencies, in hope no major changes will come before the release.
11 years ago
Jens Lody
91f84c753a
Fix description in metadata.json.in, to reflect cofigurability.
11 years ago
Jens Lody
2b3573f56f
Fix for incorrect metadata-file
11 years ago
Jens Lody
d9e7bc80fa
Update for 3.11.90
11 years ago
Jens Lody
164d0082f8
Prepare for 3.12 compatibility.
...
Works only on 3.11.5, to make it work on other 3.11 versions, metadata.json.in has to be fixed, because development versions must be secified exactly with major.minor.point .
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
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