Commit Graph

4 Commits

Author SHA1 Message Date
Florian Müllner 0ffaf62c4c classic: Replace mini-extensions with mode-specific overridesSchema
Some default values differ between classic and normal sessions. We
used to implement this by overriding the shell's default values in
mini-extensions (or more precisely: reversing the shell's overrides).
Use a mode-specific overridesSchema instead, which has the advantage
that settings defaults will not change unexpectedly when extensions
are disabled/enabled (for instance during screen locks).

https://bugzilla.gnome.org/show_bug.cgi?id=701717
2013-06-08 00:47:30 +02:00
Florian Müllner 9b05c80f81 Use different styling in classic mode
Classic mode should be visually distinct from the normal session,
so provide a mode-specific stylesheet which looks closer to the
familiar GNOME2 default theme.

https://bugzilla.gnome.org/show_bug.cgi?id=693169
2013-02-05 20:06:53 +01:00
Florian Müllner 2b81d125cb classic: Move dateMenu to the right
With new items being added on the left, the top bar gets a little
crowded with the dateMenu at the center, so move it to its "classic"
position on the right.

https://bugzilla.gnome.org/show_bug.cgi?id=692016
2013-01-18 18:07:15 +01:00
Florian Müllner 8815c670ea Install a 'classic' mode for gnome-shell
Commit c421da905f added the necessary machinery for adding a
classic session, do the same for the corresponding gnome-shell
mode.

https://bugzilla.gnome.org/show_bug.cgi?id=689738
2012-12-10 23:02:25 +01:00