add more settings concerning tabs and indentation to the editor settings * settings-dialog.ui: insert input widget for tabs and indentation * settings-dialog.cc(constructor): read state for input widgets from settings, (write_changed_settings): write state of input widgets into settings file * file-editor-tab.cc(notice-settings): load tab width and indentation options from settings