octave-maintainers
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GUI Preferences: Bug or feature?

From: Michael D Godfrey
Subject: Re: GUI Preferences: Bug or feature?
Date: Tue, 11 Sep 2012 08:51:55 -0400
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120828 Thunderbird/15.0
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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]