annotate libgui/default-qt-settings.in @ 16592:d70f61485e5f

update default Qt settings * default-qt-settings.in: Update default geometry.
author John W. Eaton <jwe@octave.org>
date Mon, 29 Apr 2013 16:47:23 -0400
parents bfff338c56d1
children f5950975a172
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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 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
9 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
10 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
11 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
12 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
13 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
14
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 [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
16 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
17 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
18 codeCompletion=true
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
19 longWindowTitle=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
20 restoreSession=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
21 savedSessionTabs=@Invalid()
16592
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
22 mru_file_list=@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
23
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 [terminal]
16522
bfff338c56d1 set default terminal font for the GUI from the configure script
John W. Eaton <jwe@octave.org>
parents: 16499
diff changeset
25 fontSize=%DEFAULT_TERMINAL_FONT_SIZE%
bfff338c56d1 set default terminal font for the GUI from the configure script
John W. Eaton <jwe@octave.org>
parents: 16499
diff changeset
26 fontName=%DEFAULT_TERMINAL_FONT%
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
27 cursorBlinking=true
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
28 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
29
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 [MainWindow]
16592
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
31 geometry="@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\x14\0\0\0'\0\0\x4;\0\0\x3\x4\0\0\0\x1e\0\0\0\x45\0\0\x4\x31\0\0\x2\xfa\0\0\0\0\0\0)"
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
32 windowState="@ByteArray(\0\0\0\xff\0\0\0\0\xfd\0\0\0\x1\0\0\0\x1\0\0\x4\x14\0\0\x2]\xfc\x2\0\0\0\x1\xfc\0\0\0\x42\0\0\x2]\0\0\x1\xa7\0\xff\xff\xff\xfc\x1\0\0\0\x2\xfc\0\0\0\0\0\0\x1y\0\0\0X\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\x42\0\0\0\xc0\0\0\0\x97\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\x1\b\0\0\0\xce\0\0\0q\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\xdc\0\0\0\xc3\0\0\0\x93\0\xff\xff\xff\xfc\0\0\x1\x7f\0\0\x2\x95\0\0\x1,\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\0\xe1\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\0k\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\xba\0\xff\xff\xff\0\0\0\0\0\0\x2]\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\0\0\0\x16\0M\0\x61\0i\0n\0T\0o\0o\0l\0\x42\0\x61\0r\x1\0\0\0\0\xff\xff\xff\xff\0\0\0\0\0\0\0\0)"
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
33 current_directory_list=/scratch/jwe/build/octave
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
34
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
35 [DockWidgets]
16592
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
36 TerminalDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\x1\x7f\0\0\0\x42\0\0\x4\x13\0\0\x2\x7f\0\0\x1\x7f\0\0\0\x42\0\0\x4\x13\0\0\x2\x7f\0\0\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
37 TerminalDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
38 TerminalDockWidgetVisible=true
16592
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
39 WorkspaceView=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\x1\b\0\0\x1x\0\0\x1\xd5\0\0\0\0\0\0\x1\b\0\0\x1x\0\0\x1\xd5\0\0\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
40 WorkspaceViewFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
41 WorkspaceViewVisible=true
16592
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
42 HistoryDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\x1\xdc\0\0\x1x\0\0\x2\x9e\0\0\0\0\0\0\x1\xdc\0\0\x1x\0\0\x2\x9e\0\0\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
43 HistoryDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
44 HistoryDockWidgetVisible=true
16592
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
45 FilesDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\0\x42\0\0\x1x\0\0\x1\x1\0\0\0\0\0\0\0\x42\0\0\x1x\0\0\x1\x1\0\0\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
46 FilesDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
47 FilesDockWidgetVisible=true
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
48 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
49 DocumentationDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
50 DocumentationDockWidgetVisible=true
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
51 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
52 FileEditorFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
53 FileEditorVisible=true
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
54
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
55 [workspaceview]
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
56 local_collapsed=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
57 global_collapsed=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
58 persistent_collapsed=false
16592
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
59 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\xf4\0\0\0\x5\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\xf4\0\0\0\x5\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
60
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
61 [filesdockwidget]
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
62 sort_files_by_column=0
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
63 sort_files_by_order=0
16592
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
64 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\x1\x63\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\x1\x63\0\0\0\x1\0\0\0\0\0\0\0\0\0\0\0\x3\0\0\0\0)
16499
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
65 showFilenames=true
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
66 showFileSize=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
67 showFileType=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
68 showLastModified=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
69 showHiddenFiles=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
70 sync_octave_directory=true
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
71 useAlternatingRowColors=true