gnome-shell/js
Florian Müllner f4cc3327e8 main: Add support for -high-contrast theme variants
While the default Shell style is fairly decent with regard to
accessibility requirements, having the ability to tweak certain
aspects where the regular style works less well is still useful.
For this purpose, try to load a -high-contrast theme variant of
the default stylesheet when a high-contrast theme is requested
(as determined by the GTK+ theme name).

https://bugzilla.gnome.org/show_bug.cgi?id=740447
2014-11-29 18:13:03 +01:00
..
extensionPrefs extensionPrefs: Improve handling of OutOfDate extensions 2014-09-06 22:06:23 +02:00
gdm gdm: fix sensitivity of auth prompt when cancelling early and user list is disabled 2014-11-17 12:11:03 -05:00
misc ibusManager: Preload all ibus input sources in user configuration 2014-11-12 21:07:19 +01:00
perf Revert accidental commit "Test stuff" 2014-09-03 13:47:18 -04:00
portalHelper PortalHelper: fix portals that don't redirect properly 2014-08-19 15:29:22 +02:00
ui main: Add support for -high-contrast theme variants 2014-11-29 18:13:03 +01:00
js-resources.gresource.xml status/keyboard: Factor out a KeyboardManager class 2014-09-11 19:14:46 +02:00
Makefile.am js/Makefile.am: Fix dependency generation with srcdir != builddir 2014-06-29 18:27:53 -04:00