octave-nkf: libgui/default-qt-settings annotate

annotate libgui/default-qt-settings @ 16033:23a7661e529a ss-3-7-2

snapshot version 3.7.2 * configure.ac (AC_INIT): Set version to 3.7.2. (OCTAVE_RELEASE_DATE): Set to 2013-02-09. (OCTAVE_COPYRIGHT): Update year.

author	John W. Eaton <jwe@octave.org>
date	Sun, 10 Feb 2013 00:59:19 -0500
parents	3bbba2b09587
children	c31139d6fb3b

rev	line source
14804 a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	1 [General]
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	2 connectOnStartup=true
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	3 showMessageOfTheDay=true
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	4 showTopic=true
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	5 autoIdentification=false
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	6 useCustomFileEditor=false
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	7 customFileEditor=emacs
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	8 showFilenames=true
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	9 showFileSize=false
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	10 showFileType=false
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	11 showLastModified=false
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	12 showHiddenFiles=false
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	13 useAlternatingRowColors=true
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	14 useProxyServer=false
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	15 proxyType=
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	16 proxyHostName=none
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	17 proxyPort=8080
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	18 proxyUserName=
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	19 proxyPassword=
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	20
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	21 [editor]
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	22 showLineNumbers=true
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	23 highlightCurrentLine=true
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	24 codeCompletion=true
15590 3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	25 fontName=Courier
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	26 fontSize=10
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	27 longWindowTitle=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	28 restoreSession=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	29 savedSessionTabs=@Invalid()
14804 a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	30
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	31 [terminal]
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	32 fontSize=10
15590 3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	33 fontName=Courier
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	34 cursorBlinking=true
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	35 cursorType=ibeam
14804 a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	36
a565c560e654 Replaced a lot of terminal interaction with events: Clearing, loading and saving workspace, running a file. Default location for saving a new file is now the current working directory. Fixed bad settings with a fresh installation of the GUI by providing a file with default settings and installing it when appropriate. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	37 [MainWindow]
15590 3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	38 geometry=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\0\x18\0\0\x3G\0\0\x2\xe9\0\0\0\x1\0\0\0\x33\0\0\x3\x46\0\0\x2\xe8\0\0\0\0\0\0)
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	39 windowState=@ByteArray(\0\0\0\xff\0\0\0\0\xfd\0\0\0\x1\0\0\0\x1\0\0\x3\x46\0\0\x2x\xfc\x2\0\0\0\x1\xfc\0\0\0(\0\0\x2x\0\0\x1\xc5\0\xff\xff\xff\xfc\x1\0\0\0\x2\xfc\0\0\0\0\0\0\0\xe8\0\0\0R\0\xff\xff\xff\xfc\x2\0\0\0\x3\xfb\0\0\0\x1e\0\x46\0i\0l\0\x65\0s\0\x44\0o\0\x63\0k\0W\0i\0\x64\0g\0\x65\0t\x1\0\0\0(\0\0\0\xc9\0\0\0\x8d\0\xff\xff\xff\xfb\0\0\0\x1a\0W\0o\0r\0k\0s\0p\0\x61\0\x63\0\x65\0V\0i\0\x65\0w\x1\0\0\0\xf7\0\0\0\xd7\0\0\0k\0\xff\xff\xff\xfb\0\0\0\"\0H\0i\0s\0t\0o\0r\0y\0\x44\0o\0\x63\0k\0W\0i\0\x64\0g\0\x65\0t\x1\0\0\x1\xd4\0\0\0\xcc\0\0\0\x8a\0\xff\xff\xff\xfc\0\0\0\xee\0\0\x2X\0\0\x2X\0\xff\xff\xff\xfa\0\0\0\0\x2\0\0\0\x3\xfb\0\0\0$\0T\0\x65\0r\0m\0i\0n\0\x61\0l\0\x44\0o\0\x63\0k\0W\0i\0\x64\0g\0\x65\0t\x1\0\0\0\0\xff\xff\xff\xff\0\0\x1\xa9\0\xff\xff\xff\xfb\0\0\0\x14\0\x46\0i\0l\0\x65\0\x45\0\x64\0i\0t\0o\0r\x1\0\0\0\0\xff\xff\xff\xff\0\0\0h\0\xff\xff\xff\xfb\0\0\0.\0\x44\0o\0\x63\0u\0m\0\x65\0n\0t\0\x61\0t\0i\0o\0n\0\x44\0o\0\x63\0k\0W\0i\0\x64\0g\0\x65\0t\x1\0\0\0\0\xff\xff\xff\xff\0\0\0\xac\0\xff\xff\xff\0\0\0\0\0\0\x2x\0\0\0\x4\0\0\0\x4\0\0\0\b\0\0\0\b\xfc\0\0\0\x1\0\0\0\x2\0\0\0\x1\xff\xff\xff\xff\x1\0\0\0\0\xff\xff\xff\xff\0\0\0\0\0\0\0\0)
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	40 current_directory_list=@Invalid()
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	41
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	42 [DockWidgets]
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	43 TerminalDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\xee\0\0\0(\0\0\x3\x45\0\0\x2\x83\0\0\0\xee\0\0\0(\0\0\x3\x45\0\0\x2\x83\0\0\0\0\0\0)
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	44 TerminalDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	45 TerminalDockWidgetVisible=true
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	46 WorkspaceView=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\0\xf7\0\0\0\xe7\0\0\x1\xcd\0\0\0\0\0\0\0\xf7\0\0\0\xe7\0\0\x1\xcd\0\0\0\0\0\0)
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	47 WorkspaceViewFloating=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	48 WorkspaceViewVisible=true
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	49 HistoryDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\x1\xd4\0\0\0\xe7\0\0\x2\x9f\0\0\0\0\0\0\x1\xd4\0\0\0\xe7\0\0\x2\x9f\0\0\0\0\0\0)
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	50 HistoryDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	51 HistoryDockWidgetVisible=true
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	52 FilesDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\0(\0\0\0\xe7\0\0\0\xf0\0\0\0\0\0\0\0(\0\0\0\xe7\0\0\0\xf0\0\0\0\0\0\0)
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	53 FilesDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	54 FilesDockWidgetVisible=true
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	55 DocumentationDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\xff\xff\xfb\xb3\xff\xff\xfb\xb1\xff\xff\xfe\v\xff\xff\xfe\v\xff\xff\xfb\xb3\xff\xff\xfb\xb1\xff\xff\xfe\v\xff\xff\xfe\v\0\0\0\0\0\0)
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	56 DocumentationDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	57 DocumentationDockWidgetVisible=true
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	58 FileEditor=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\xff\xff\xfb\xb3\xff\xff\xfb\xb1\xff\xff\xfe\v\xff\xff\xfe\v\xff\xff\xfb\xb3\xff\xff\xfb\xb1\xff\xff\xfe\v\xff\xff\xfe\v\0\0\0\0\0\0)
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	59 FileEditorFloating=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	60 FileEditorVisible=true
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	61
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	62 [workspaceview]
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	63 local_collapsed=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	64 global_collapsed=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	65 persistent_collapsed=false
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	66 column_state=@ByteArray(\0\0\0\xff\0\0\0\0\0\0\0\x1\0\0\0\x1\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\x1\x90\0\0\0\x4\x1\0\0\x1\0\0\0\0\0\0\0\0\0\0\0\0\x64\xff\xff\xff\xff\0\0\0\x81\0\0\0\0\0\0\0\x1\0\0\x1\x90\0\0\0\x4\0\0\0\0)
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	67
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	68 [filesdockwidget]
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	69 sort_files_by_column=0
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	70 sort_files_by_order=0
3bbba2b09587 update of default-qt-settings Torsten <ttl@justmail.de> parents: 15589 diff changeset	71 column_state=@ByteArray(\0\0\0\xff\0\0\0\0\0\0\0\x1\0\0\0\0\0\0\0\0\x1\0\0\0\0\0\0\0\0\0\0\0\x4\xe\0\0\0\x3\0\0\0\x3\0\0\0\x64\0\0\0\x2\0\0\0\x64\0\0\0\x1\0\0\0\x64\0\0\0\xd4\0\0\0\x4\x1\x1\0\x1\0\0\0\0\0\0\0\0\0\0\0\0\x64\xff\xff\xff\xff\0\0\0\x81\0\0\0\0\0\0\0\x2\0\0\0\xd4\0\0\0\x1\0\0\0\0\0\0\0\0\0\0\0\x3\0\0\0\0)

Mercurial > octave-nkf

annotate libgui/default-qt-settings @ 16033:23a7661e529a ss-3-7-2