Mercurial > hg > octave-nkf

annotate libgui/default-qt-settings.in @ 18003:f25ac324b6d4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix geometry of widgets when floating the first time in windows * default-qt-settings.in: remove floating geometries from the settings, they do not make sense in non windows systems and may have incorrect values when the settings file is copied from a non windows systems; decrease the default size of the main window (for smaller notebook displays)
author Torsten <ttl@justmail.de>
date Mon, 25 Nov 2013 19:50:49 +0100
parents f5950975a172
children b001d9e9fd17
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]
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
31 geometry=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\x4\0\0\0\x19\0\0\x4\t\0\0\x3\x4\0\0\0\x5\0\0\0\x33\0\0\x4\b\0\0\x3\x3\0\0\0\0\0\0)
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
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\x4\0\0\x2\x9b\xfc\x2\0\0\0\x1\xfc\0\0\0 \0\0\x2\x9b\0\0\x1\x92\0\xff\xff\xff\xfc\x1\0\0\0\x2\xfc\0\0\0\0\0\0\x1\x64\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\x1\x5\0\0\0\x91\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+\0\0\0\xd6\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\x2\a\0\0\0\xb4\0\0\0\x8a\0\xff\xff\xff\xfc\0\0\x1j\0\0\x2\x9a\0\0\x1\x44\0\xff\xff\xff\xfc\x2\0\0\0\x2\xfb\0\0\0\x1c\0N\0\x65\0w\0s\0\x44\0o\0\x63\0k\0W\0i\0\x64\0g\0\x65\0t\x1\0\0\0@\0\0\0\xdb\0\0\0\0\0\0\0\0\xfc\0\0\0 \0\0\x2\x9b\0\0\0\xfd\x1\0\0\x1b\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\0`\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\xad\0\xff\xff\xff\0\0\0\0\0\0\x2\x9b\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)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
33
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
34 [DockWidgets]
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
35 TerminalDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
36 TerminalDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
37 WorkspaceView=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\x1+\0\0\x1\x63\0\0\x2\0\0\0\0\0\0\0\x1+\0\0\x1\x63\0\0\x2\0\0\0\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
38 WorkspaceViewFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
39 WorkspaceViewVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
40 HistoryDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\x2\a\0\0\x1\x63\0\0\x2\xba\0\0\0\0\0\0\x2\a\0\0\x1\x63\0\0\x2\xba\0\0\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
41 HistoryDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
42 HistoryDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
43 FilesDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\0\0\0\0\0 \0\0\x1\x63\0\0\x1$\0\0\0\0\0\0\0 \0\0\x1\x63\0\0\x1$\0\0\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
44 FilesDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
45 FilesDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
46 DocumentationDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\xff\xff\xfbr\xff\xff\xfb\x8d\xff\xff\xfe\v\xff\xff\xfe\v\xff\xff\xfbr\xff\xff\xfb\x8d\xff\xff\xfe\v\xff\xff\xfe\v\0\0\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
47 DocumentationDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
48 DocumentationDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
49 FileEditor=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\xff\xff\xfbr\xff\xff\xfb\x8d\xff\xff\xfe\v\xff\xff\xfe\v\xff\xff\xfbr\xff\xff\xfb\x8d\xff\xff\xfe\v\xff\xff\xfe\v\0\0\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
50 FileEditorFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
51 FileEditorVisible=true
17599
f5950975a172 community news dock widget and other user info in GUI
John W. Eaton <jwe@octave.org>
parents: 16592
diff changeset
52 NewsDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\x2\"\0\0\0@\0\0\x4\xb3\0\0\x1\x1a\0\0\x2\"\0\0\0@\0\0\x4\xb3\0\0\x1\x1a\0\0\0\0\0\0)
f5950975a172 community news dock widget and other user info in GUI
John W. Eaton <jwe@octave.org>
parents: 16592
diff changeset
53 NewsDockWidgetFloating=false
f5950975a172 community news dock widget and other user info in GUI
John W. Eaton <jwe@octave.org>
parents: 16592
diff changeset
54 NewsDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
55 TerminalDockWidget=@ByteArray(\x1\xd9\xd0\xcb\0\x1\0\0\0\0\x1j\0\0\0 \0\0\x4\x3\0\0\x2\x9e\0\0\x1j\0\0\0 \0\0\x4\x3\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
56
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
57 [workspaceview]
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
58 local_collapsed=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
59 global_collapsed=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
60 persistent_collapsed=false
17599
f5950975a172 community news dock widget and other user info in GUI
John W. Eaton <jwe@octave.org>
parents: 16592
diff changeset
61 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\x2\x12\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\x2\0\0\x1\x90\0\0\0\x4\0\0\0\0\0\0\0\x82\0\0\0\x1\0\0\0\0)
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
62
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
63 [filesdockwidget]
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
64 sort_files_by_column=0
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
65 sort_files_by_order=0
17599
f5950975a172 community news dock widget and other user info in GUI
John W. Eaton <jwe@octave.org>
parents: 16592
diff changeset
66 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\x2\v\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\x2\v\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
67 showFilenames=true
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
68 showFileSize=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
69 showFileType=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
70 showLastModified=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
71 showHiddenFiles=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
72 sync_octave_directory=true
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
73 useAlternatingRowColors=true