If on cancelled the GUI font size override, the pipeline browser would
miss the change font event and not update correctly. Fixed that. Also
cleaned up the code that selected the default font size for console
widgets to use the real default font size from the app.