Made element spacing more consistent.
Fleshed out preferences dialog and implemented Interface panel settings.
Use-tabs, clobber, and reopen are fully implemented with gsettings.