Done with making it possible for our Viewer widget to toggle its optimise font size feature, as well as keep track of its settings from one session to another (closes #305).