[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Pull request: Two commits regarding the GUI Settings/Preferences
From: |
Thorsten Liebig |
Subject: |
Pull request: Two commits regarding the GUI Settings/Preferences |
Date: |
Tue, 11 Sep 2012 15:48:00 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120827 Thunderbird/15.0 |
Hi,
I created two commits about the GUI Preferences. Any feedback would be welcome.
Have a look at: http://inversethought.com/hg/octave-thorsten/
Details:
1. ) a minor bug fix:
http://inversethought.com/hg/octave-thorsten/rev/a9fd6821eedf
fixes the long title bool to recognize the GUI preferences
2.) a new preferences setting to restore a previous session
http://inversethought.com/hg/octave-thorsten/rev/842ab161c10a
What it does is, it reopens all tabs from the previous session.
Additionally it suppresses an error message about the missing file if it may
have been deleted in the meantime.
Furthermore in case of a failed loaf_file it will restore tab-focus.
regards
Thorsten
- Pull request: Two commits regarding the GUI Settings/Preferences,
Thorsten Liebig <=