This website requires JavaScript.
Explore
Help
Sign In
VesperOS
/
gnome-shell-extensions
Watch
6
Star
0
Fork
0
You've already forked gnome-shell-extensions
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
c2c4eb39be4af8c1d00a3c0fb98b07daf7eb5226
gnome-shell-extensions
/
extensions
/
workspace-indicator
T
History
Norman L. Smith
ca19f18c8f
Changed workspace indicator to use less panel space by displaying only high-lighted workspace number on panel.
...
Signed-off-by: Norman L. Smith <
nls1729@gmail.com
>
2011-12-14 00:08:29 +01:00
..
extension.js
Changed workspace indicator to use less panel space by displaying only high-lighted workspace number on panel.
2011-12-14 00:08:29 +01:00
Makefile.am
New extension: workspace-indicator
2011-07-13 01:29:03 +02:00
metadata.json.in
Bump version to 3.3.2
2011-11-22 09:11:46 +01:00
stylesheet.css
Changed workspace indicator to use less panel space by displaying only high-lighted workspace number on panel.
2011-12-14 00:08:29 +01:00