use different widget geometry setting when widget launched from cli * gui-settings.h: new constant for settings key extension in order to distinguish widget geometry settings with and without gui * octave-dock-widget.cc (handle_settings): if no main window exists, extend the name of the geometry settings keys; (save_settings): dito

# line endings in repository match line endings on disc
* -text