Fixes

A collection of fixes about Preferences, Formatting, State saving, scroll-lock in console