Re: GUI Preferences: Bug or feature?

[Thorsten Liebig]

Am 11.09.2012 15:35, schrieb Torsten:
> On 11.09.2012 14:51, Michael D Godfrey wrote:
> > On 09/11/2012 08:45 AM, Thorsten Liebig wrote:
> > > My question: Is this a desired effect. Because I would expect that if you 
> > > change some preferences it would effect all editor tabs, already open and
> > > new ones.
> > This is the way it should work.  Best to do it soon.
> >
> > Michael
> There is a signal emitted in
> main_window::process_settings_dialog_request () after the new settings
> in the dialog are accepted. It is only used to update the
> file-dock-widget and the terminal font and cursor, but not yet the
> editor-tabs.
>
> Torsten

Hi, I fixed it. --> http://inversethought.com/hg/octave-thorsten/

All Settings are now applied immediately after accepting the Settings. ( 
b4c32f245da7 )

I also fixed a bug, where some check-boxes would disable themselves if 
the check-box would be disabled... ( 75f28de3a387 )

regards