Mercurial > hg > octave-lyh

annotate libgui/default-qt-settings @ 16274:3c265e4dba6d classdef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
maint: periodic merge of default to classdef
author John W. Eaton <jwe@octave.org>
date Mon, 11 Mar 2013 14:33:12 -0400
parents 3bbba2b09587
children c31139d6fb3b
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 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)