v1.0.31

v1.0.31

Interface Defaults v1.3.0

Added

• Your defaults now apply from the moment a page loads — for existing users too, not just new ones. No more waiting for an account to be updated in the background.
• Saving a setting now takes effect on every server at once, within a fraction of a second, instead of only for the users who happen to land on the right one.
• The log now shows what happened for every new user, and each server reports when it has picked up a new version.

Fixed

• Some users didn't get your settings. Their browser could load their profile a moment too early and then save the old version back over them — quietly, and for good.
• Nothing this function did ever showed up in the log, so there was no way to tell whether it had run.
• Accented characters could come out garbled when the page's script was read by anything other than a browser.

Changed

• Settings are now delivered through a shared channel that several add-ons can use at the same time, so this one no longer competes with the budget display for the same slot. Other add-ons can join without any of them needing to know about each other.
• The "Reset all users to factory" button now fully resets, so a later change reaches those users again.
• Shorter description.