honestbleeps/Reddit-Enhancement-Suite — pull request #330 by andytuba (2013-03-30 14:43:31+00:00)
Title: SettingsNavigation module is always enabled

The settings navigation module is now always enabled. It is also hidden from the settings console because 1) no configurable options and 2) prevent users from disabling it.

---

Maybe this shouldn't be a module, but a more integrated part of the BabelExt framework code? I left it as-is for now, that could be done later.