VesperOS/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,252 Commits 15 Branches 450 Tags
3.25.91
Commit Graph

75 Commits

Author SHA1 Message Date
Florian Müllner
8778c16f2a data: Update style 2017-08-10 20:27:35 +02:00
Florian Müllner
a2508106f4 data: Adjust classic style to top bar transparency changes 2017-07-19 12:45:59 +02:00
Florian Müllner
2716430310 data: Update style 2017-07-19 12:45:49 +02:00
Rui Matos
4fa73145b4 data: Adjust to g-s-d's plugin removals 
These plugins have been removed.

https://bugzilla.gnome.org/show_bug.cgi?id=782233
 2017-07-18 21:51:42 +02:00
Florian Müllner
9b3ab2c9b2 build: Switch to sassc for generating style 
GTK+ switched from ruby-based sass to c-based sassc for performance
reasons. It makes sense to follow suit, if not to not require two
tools for the same job ...

https://bugzilla.gnome.org/show_bug.cgi?id=783210
 2017-05-30 12:42:05 +02:00
Florian Müllner
441949b7c8 data: Update style 2017-03-14 17:57:52 +01:00
Florian Müllner
c400e30da8 data: Update classic session file for g-s-d changes 
gnome-settings-daemon has been split up into separate daemons, which
means we'll need to invoke those separately.

See https://git.gnome.org/browse/gnome-session/commit?id=18b6e567e1a
for the corresponding change to the regular session file.

https://bugzilla.gnome.org/show_bug.cgi?id=772736
 2016-10-11 11:49:52 +02:00
Florian Müllner
23b5594c24 data: Update style 2016-09-08 21:36:11 +02:00
Florian Müllner
db3e910b76 build: Say good-bye to intltool 
intltool is unmaintained nowadays while upstream gettext gained
support for everything we used it for, so make the switch.

https://bugzilla.gnome.org/show_bug.cgi?id=769077
 2016-08-19 22:17:07 +02:00
Florian Müllner
deb7ee8ef6 Update style 2016-07-20 20:50:04 +02:00
Jakub Steiner
59aa0f66f3 panel style changes 
- based on a patch by rudolf@palaticky.com
- having three css locations with hardcoded colors,
  what could possibly go wrong in the future. :(

https://bugzilla.gnome.org/show_bug.cgi?id=756807
 2016-05-10 15:51:49 +02:00
Tim Lunn
2191d533b5 data: rename gnome-shell required component to org.gnome.Shell 
gnome-shell is now dbus activated. The new name is org.gnome.Shell.

https://bugzilla.gnome.org/show_bug.cgi?id=760386
 2016-01-11 11:40:14 +11:00
Florian Müllner
eb78d93601 Update style 2015-11-25 00:49:05 +01:00
Jakub Steiner
283f679fcc render up to date gnome-shell-sass 
https://bugzilla.gnome.org/show_bug.cgi?id=757011
 2015-10-26 15:53:31 +01:00
Jakub Steiner
9676bc83af make spinner 60fps & 16x16px 
https://bugzilla.gnome.org/show_bug.cgi?id=756888
 2015-10-21 14:02:15 +02:00
Jakub Steiner
7c5f0ed87f theme: darken the dot of days with events 
https://bugzilla.gnome.org/show_bug.cgi?id=756497
 2015-10-15 22:29:38 +02:00
Florian Müllner
fb1f010825 Update style from sass 2015-09-16 17:14:50 +02:00
Jakub Steiner
0d0eff2ea2 scrollbars, expanders and spinner invisible in classic 
- sync scrollbar colors with gtk
- don't hide expanders in popovers
- use a custom spinner for classic

https://bugzilla.gnome.org/show_bug.cgi?id=750072
 2015-05-29 11:42:57 +02:00
Florian Müllner
1dd5343ff4 Update style 2015-04-30 19:00:57 +02:00
Florian Müllner
bea06a7589 Update style 2015-03-30 17:41:47 +02:00
Florian Müllner
1e8c7a2d8f Update style 2015-03-17 19:46:05 +01:00
Jakub Steiner
6c58d700aa theme: fix invisible avatar for classic 
https://bugzilla.gnome.org/show_bug.cgi?id=745693
 2015-03-12 16:07:13 +01:00
Florian Müllner
f97c2c55a4 theme: Update from submodule 2015-03-11 18:03:33 +01:00
Jakub Steiner
36a51901d8 theme: no top bar border for login screen 
https://bugzilla.gnome.org/show_bug.cgi?id=745686
 2015-03-10 20:02:36 +01:00
Jakub Steiner
7cfd862e70 theme: panel improvements 
- places menu still sports an arrow, must be a custom one

https://bugzilla.gnome.org/show_bug.cgi?id=745909
 2015-03-10 19:56:42 +01:00
Jakub Steiner
c1929e34d1 theme: re-render css 2015-03-10 19:46:31 +01:00
Jakub Steiner
fdaecf6c44 theme: re-render to fix modal headings 
https://bugzilla.gnome.org/show_bug.cgi?id=745687
 2015-03-10 17:55:59 +01:00
Jakub Steiner
dae1feb250 theme: more on unlock/login top bar 
https://bugzilla.gnome.org/show_bug.cgi?id=745686
 2015-03-10 12:23:34 +01:00
Jakub Steiner
3ef2393d14 theme: top bar in login and lock screens 
https://bugzilla.gnome.org/show_bug.cgi?id=745686
 2015-03-10 11:52:15 +01:00
Jakub Steiner
4eceb9443f theme: use white labels for overview 
- restructured selectors to avoid !important

https://bugzilla.gnome.org/show_bug.cgi?id=745732
 2015-03-06 17:22:16 +01:00
Jakub Steiner
6909504c10 theme: provide custom switches and spinner 
https://bugzilla.gnome.org/show_bug.cgi?id=745685
 2015-03-06 17:08:36 +01:00
Florian Müllner
ba13ae6955 Update classic style 2015-03-05 17:14:48 +01:00
Florian Müllner
612604cf16 Update classic style from sass 2015-03-04 17:40:29 +01:00
Florian Müllner
57d012c846 theme: Apply notification list refinements 2015-02-26 19:09:14 +01:00
Florian Müllner
664cf6d527 Pull in theme changes from gnome-shell 2015-02-22 06:26:25 +01:00
Florian Müllner
d96839190d build: Update CSS when sass is available 2015-02-22 06:26:25 +01:00
Florian Müllner
8f7053a3ad style: Update for notification-redux changes 2015-02-20 17:57:01 +01:00
Carlos Soriano
fb419712c9 theme: update from sass sources 2015-02-20 16:47:17 +01:00
Carlos Soriano
96bdc9f350 theme: Use gnome-shell-sass as a submodule 
The sass sources now live in a project in GNOME, so they can
be used in multiple projects like gnome-shell-extensions.
Because of that, add gnome-shell-sass as a submodule and import the sass
sources from it.
 2015-02-20 16:47:17 +01:00
Jakub Steiner
79f2792b7c theme: re-render gnome-shell theme 2015-02-20 09:51:54 +01:00
Jakub Steiner
4528568ff2 theme: re-rendered off gnome-shell changes 2015-02-20 09:51:54 +01:00
Jakub Steiner
b4d1517099 theme: initial sassified classic theme 2015-02-20 09:51:54 +01:00
Matthias Clasen
43c4e7fa2e Clean up classic session definition 
The gnome-shell-classic desktop file just launches gnome-shell
without options these days, so we don't need a separate desktop file.

https://bugzilla.gnome.org/show_bug.cgi?id=741660
 2014-12-17 10:59:51 -05:00
Florian Müllner
5ba4e68f17 classic: Install high-contrast theme variant 
The classic style is decidedly lower contrast than the default
style, so the high-contrast variant could prove really useful
here. However for now, just override the default icon style as
in the default session.

https://bugzilla.gnome.org/show_bug.cgi?id=740447
 2014-11-29 18:13:58 +01:00
Florian Müllner
0a0d273d32 style: Inherit default stylesheet from resource 
The default stylesheet has moved into a GResource, so we can no
longer address it with a relative path.

https://bugzilla.gnome.org/show_bug.cgi?id=740318
 2014-11-18 16:08:07 +01:00
Carlos Soriano
4f1ffc9e62 theme: update to a change on 2d68bbf94e 2014-07-23 16:29:43 +02:00
Florian Müllner
bb84456c2c data: Don't set overridesSchema for classic mode 
The shell now hardcodes this until we get session-specific defaults
in GSettings proper, so the property is no longer used.
 2014-06-09 22:41:28 +02:00
Florian Müllner
c290da01dc data: Add button-layout to override schema 
The default in gsettings-desktop-schemas has changed to not include
minimize and maximize to match the default of client-side decorations
in GTK+, so start overriding the setting to bring them back in classic
mode.
 2014-05-27 19:56:51 +02:00
Bastien Nocera
110e747e04 data: Add DesktopNames to the session file 
So that GDM can export the XDG_CURRENT_DESKTOP environment variable.

See also https://bugzilla.gnome.org/show_bug.cgi?id=727546

https://bugzilla.gnome.org/show_bug.cgi?id=727566
 2014-04-29 10:40:15 +02:00
Florian Müllner
4ec4bdb0ea style: Overwrite border-radius of tile previews in classic mode 
In classic mode, the panel does not have rounded corners; thus
tile previews shouldn't either.

https://bugzilla.gnome.org/show_bug.cgi?id=728273
 2014-04-15 18:07:06 +02:00