Florian Müllner 593acb954d extensionPrefs: Improve handling of OutOfDate extensions ... Our current UI is horrible in dealing with outdated extensions - we don't give users any indication at all that something is not working as expected (unless hiding the prefs button as we did until the last commit counts). To fix this, make the enable switch insensitive to indicate OutOfDate extensions. https://bugzilla.gnome.org/show_bug.cgi?id=736185		2014-09-06 22:06:23 +02:00
..
main.js	extensionPrefs: Improve handling of OutOfDate extensions	2014-09-06 22:06:23 +02:00