[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUI Preferences: Bug or feature?
|
From: |
Torsten |
|
Subject: |
Re: GUI Preferences: Bug or feature? |
|
Date: |
Tue, 11 Sep 2012 15:35:19 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:15.0) Gecko/20120827 Thunderbird/15.0 |
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