Exception widgets ported to JFX
A spinner is now used for the zoom
The toolbar is re-layouted when the exception button is no more visible