minor adjustments to tabline
introduce preferences-dialog and a button for it; getting and setting appOptions works, but changes are not yet saved to (or read from) file