Community
Participate
Working Groups
+++ This bug was initially created as a clone of Bug #464824 +++ The tern settings page is very limited in what it can do. Rather than making requests to the Tern server it simply looks up preferences stored in localStorage. We want the page to show what plugins are currently available in Tern as well as allow new plugins, stopping/reloading existing plugins, etc.
Since the page does not work as intended, and noone has had time to properly implement installing / enabling / disabling plugins from the page, I am removing it for now. We can add it (or something like it) back in the future when we will add proper support. But as it is right now, it appears broken at times with multiple entries and no way to do anything at all with the information on the page (no real value).