You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
An options box directly accessible in DukeHub is a good idea.
However, it might be a bit complicated implementing live enabling/disabling for Javascript-heavy features due to the need to add/remove elements and scripts.
Plus, I don't think users will enable/disable appearance changes often -- maybe they'll disable it out of curiosity, but then they'll enable it and never change it again. May not be worth the effort for a low-use feature.
Currently, it is hard to tell what improvements have been made. Color coding/highlighting UI improvements would help
The text was updated successfully, but these errors were encountered: