More work on GUI, mainly Settings widgets.