Pull request: Two commits regarding the GUI Settings/Preferences

[Thorsten Liebig]

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