Mercurial > octave-nkf

annotate libgui/default-qt-settings.in @ 20654:b65888ec820e draft default tip gccjit

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
dmalcom gcc jit import
author Stefan Mahr <dac922@gmx.de>
date Fri, 27 Feb 2015 16:59:36 +0100
parents 6049bdfa8d56
children
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
19951
6049bdfa8d56 make notepad++ the custom default editor in windows
Torsten <ttl@justmail.de>
parents: 19382
diff changeset
5 customFileEditor=__default_custom_editor__
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
6 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
7 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
8 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
9 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
10 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
11 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
12 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
13
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 [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
15 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
16 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
17 codeCompletion=true
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
18 longWindowTitle=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
19 restoreSession=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
20 savedSessionTabs=@Invalid()
16592
d70f61485e5f update default Qt settings
John W. Eaton <jwe@octave.org>
parents: 16522
diff changeset
21 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
22
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 [terminal]
18004
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
24 fontSize=__default_font_size__
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
25 fontName=__default_font__
15590
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
26 cursorBlinking=true
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
27 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
28
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 [MainWindow]
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
30 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
31 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
32
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
33 [DockWidgets]
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
34 TerminalDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
35 TerminalDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
36 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
37 WorkspaceViewFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
38 WorkspaceViewVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
39 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
40 HistoryDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
41 HistoryDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
42 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
43 FilesDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
44 FilesDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
45 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
46 DocumentationDockWidgetFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
47 DocumentationDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
48 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
49 FileEditorFloating=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
50 FileEditorVisible=true
17599
f5950975a172 community news dock widget and other user info in GUI
John W. Eaton <jwe@octave.org>
parents: 16592
diff changeset
51 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
52 NewsDockWidgetFloating=false
f5950975a172 community news dock widget and other user info in GUI
John W. Eaton <jwe@octave.org>
parents: 16592
diff changeset
53 NewsDockWidgetVisible=true
18003
f25ac324b6d4 fix geometry of widgets when floating the first time in windows
Torsten <ttl@justmail.de>
parents: 17599
diff changeset
54 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
55
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
56 [workspaceview]
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
57 local_collapsed=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
58 global_collapsed=false
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
59 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
60 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
61
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
62 [filesdockwidget]
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
63 sort_files_by_column=0
3bbba2b09587 update of default-qt-settings
Torsten <ttl@justmail.de>
parents: 15589
diff changeset
64 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
65 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
66 showFilenames=true
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
67 showFileSize=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
68 showFileType=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
69 showLastModified=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
70 showHiddenFiles=false
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
71 sync_octave_directory=true
facf00ce97d3 gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents: 16409
diff changeset
72 useAlternatingRowColors=true
18004
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
73
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
74 [Scintilla]
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
75 Octave\style0\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
76 Octave\style0\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
77 Octave\style0\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
78 Octave\style0\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
79 Octave\style1\color=43520
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
80 Octave\style1\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
81 Octave\style1\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
82 Octave\style1\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
83 Octave\style2\color=8355584
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
84 Octave\style2\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
85 Octave\style2\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
86 Octave\style2\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
87 Octave\style3\color=11184640
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
88 Octave\style3\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
89 Octave\style3\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
90 Octave\style3\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
91 Octave\style4\color=255
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
92 Octave\style4\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
93 Octave\style4\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
94 Octave\style4\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
95 Octave\style5\color=16755200
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
96 Octave\style5\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
97 Octave\style5\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
98 Octave\style5\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
99 Octave\style6\color=14483456
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
100 Octave\style6\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
101 Octave\style6\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
102 Octave\style6\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
103 Octave\style7\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
104 Octave\style7\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
105 Octave\style7\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
106 Octave\style7\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
107 Octave\style8\color=16755200
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
108 Octave\style8\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
109 Octave\style8\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
110 Octave\style8\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
111 Octave\defaultcolor=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
112 Octave\defaultpaper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
113 Octave\defaultfont=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
114 Octave\autoindentstyle=-1
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
115 C%2B%2B\style0\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
116 C%2B%2B\style0\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
117 C%2B%2B\style0\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
118 C%2B%2B\style0\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
119 C%2B%2B\style1\color=43520
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
120 C%2B%2B\style1\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
121 C%2B%2B\style1\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
122 C%2B%2B\style1\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
123 C%2B%2B\style2\color=43520
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
124 C%2B%2B\style2\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
125 C%2B%2B\style2\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
126 C%2B%2B\style2\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
127 C%2B%2B\style3\color=4157503
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
128 C%2B%2B\style3\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
129 C%2B%2B\style3\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
130 C%2B%2B\style3\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
131 C%2B%2B\style4\color=11184640
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
132 C%2B%2B\style4\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
133 C%2B%2B\style4\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
134 C%2B%2B\style4\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
135 C%2B%2B\style5\color=255
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
136 C%2B%2B\style5\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
137 C%2B%2B\style5\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
138 C%2B%2B\style5\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
139 C%2B%2B\style6\color=16733440
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
140 C%2B%2B\style6\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
141 C%2B%2B\style6\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
142 C%2B%2B\style6\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
143 C%2B%2B\style7\color=16733440
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
144 C%2B%2B\style7\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
145 C%2B%2B\style7\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
146 C%2B%2B\style7\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
147 C%2B%2B\style8\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
148 C%2B%2B\style8\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
149 C%2B%2B\style8\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
150 C%2B%2B\style8\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
151 C%2B%2B\style9\color=8355584
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
152 C%2B%2B\style9\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
153 C%2B%2B\style9\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
154 C%2B%2B\style9\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
155 C%2B%2B\style10\color=16711680
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
156 C%2B%2B\style10\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
157 C%2B%2B\style10\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
158 C%2B%2B\style10\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
159 C%2B%2B\style11\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
160 C%2B%2B\style11\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
161 C%2B%2B\style11\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
162 C%2B%2B\style11\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
163 C%2B%2B\style12\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
164 C%2B%2B\style12\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
165 C%2B%2B\style12\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
166 C%2B%2B\style12\paper=14729440
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
167 C%2B%2B\style13\color=32512
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
168 C%2B%2B\style13\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
169 C%2B%2B\style13\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
170 C%2B%2B\style13\paper=14745568
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
171 C%2B%2B\style14\color=4161343
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
172 C%2B%2B\style14\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
173 C%2B%2B\style14\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
174 C%2B%2B\style14\paper=14741728
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
175 C%2B%2B\style15\color=4157503
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
176 C%2B%2B\style15\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
177 C%2B%2B\style15\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
178 C%2B%2B\style15\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
179 C%2B%2B\style16\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
180 C%2B%2B\style16\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
181 C%2B%2B\style16\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
182 C%2B%2B\style16\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
183 C%2B%2B\style17\color=3170464
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
184 C%2B%2B\style17\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
185 C%2B%2B\style17\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
186 C%2B%2B\style17\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
187 C%2B%2B\style18\color=8405024
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
188 C%2B%2B\style18\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
189 C%2B%2B\style18\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
190 C%2B%2B\style18\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
191 C%2B%2B\style19\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
192 C%2B%2B\style19\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
193 C%2B%2B\style19\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
194 C%2B%2B\style19\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
195 C%2B%2B\style20\color=8323199
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
196 C%2B%2B\style20\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
197 C%2B%2B\style20\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
198 C%2B%2B\style20\paper=16774143
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
199 C%2B%2B\style40\color=11571376
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
200 C%2B%2B\style40\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
201 C%2B%2B\style40\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
202 C%2B%2B\style40\paper=16774143
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
203 C%2B%2B\style64\color=12632256
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
204 C%2B%2B\style64\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
205 C%2B%2B\style64\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
206 C%2B%2B\style64\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
207 C%2B%2B\style65\color=9482384
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
208 C%2B%2B\style65\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
209 C%2B%2B\style65\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
210 C%2B%2B\style65\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
211 C%2B%2B\style66\color=9482384
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
212 C%2B%2B\style66\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
213 C%2B%2B\style66\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
214 C%2B%2B\style66\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
215 C%2B%2B\style67\color=13684944
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
216 C%2B%2B\style67\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
217 C%2B%2B\style67\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
218 C%2B%2B\style67\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
219 C%2B%2B\style68\color=9482384
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
220 C%2B%2B\style68\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
221 C%2B%2B\style68\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
222 C%2B%2B\style68\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
223 C%2B%2B\style69\color=9474224
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
224 C%2B%2B\style69\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
225 C%2B%2B\style69\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
226 C%2B%2B\style69\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
227 C%2B%2B\style70\color=11571376
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
228 C%2B%2B\style70\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
229 C%2B%2B\style70\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
230 C%2B%2B\style70\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
231 C%2B%2B\style71\color=11571376
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
232 C%2B%2B\style71\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
233 C%2B%2B\style71\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
234 C%2B%2B\style71\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
235 C%2B%2B\style72\color=12632256
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
236 C%2B%2B\style72\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
237 C%2B%2B\style72\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
238 C%2B%2B\style72\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
239 C%2B%2B\style73\color=11579536
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
240 C%2B%2B\style73\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
241 C%2B%2B\style73\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
242 C%2B%2B\style73\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
243 C%2B%2B\style74\color=11579568
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
244 C%2B%2B\style74\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
245 C%2B%2B\style74\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
246 C%2B%2B\style74\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
247 C%2B%2B\style75\color=11579568
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
248 C%2B%2B\style75\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
249 C%2B%2B\style75\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
250 C%2B%2B\style75\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
251 C%2B%2B\style76\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
252 C%2B%2B\style76\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
253 C%2B%2B\style76\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
254 C%2B%2B\style76\paper=14729440
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
255 C%2B%2B\style77\color=9482384
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
256 C%2B%2B\style77\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
257 C%2B%2B\style77\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
258 C%2B%2B\style77\paper=14745568
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
259 C%2B%2B\style78\color=8367999
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
260 C%2B%2B\style78\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
261 C%2B%2B\style78\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
262 C%2B%2B\style78\paper=14741728
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
263 C%2B%2B\style79\color=12632256
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
264 C%2B%2B\style79\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
265 C%2B%2B\style79\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
266 C%2B%2B\style79\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
267 C%2B%2B\style80\color=12632256
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
268 C%2B%2B\style80\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
269 C%2B%2B\style80\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
270 C%2B%2B\style80\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
271 C%2B%2B\style81\color=12632256
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
272 C%2B%2B\style81\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
273 C%2B%2B\style81\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
274 C%2B%2B\style81\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
275 C%2B%2B\style82\color=12632256
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
276 C%2B%2B\style82\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
277 C%2B%2B\style82\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
278 C%2B%2B\style82\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
279 C%2B%2B\style83\color=11579568
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
280 C%2B%2B\style83\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
281 C%2B%2B\style83\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
282 C%2B%2B\style83\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
283 C%2B%2B\properties\foldatelse=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
284 C%2B%2B\properties\foldcomments=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
285 C%2B%2B\properties\foldcompact=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
286 C%2B%2B\properties\foldpreprocessor=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
287 C%2B%2B\properties\stylepreprocessor=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
288 C%2B%2B\properties\dollars=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
289 C%2B%2B\properties\highlighthash=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
290 C%2B%2B\properties\highlighttriple=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
291 C%2B%2B\defaultcolor=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
292 C%2B%2B\defaultpaper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
293 C%2B%2B\defaultfont=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
294 C%2B%2B\autoindentstyle=-1
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
295 Perl\style0\color=8421504
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
296 Perl\style0\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
297 Perl\style0\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
298 Perl\style0\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
299 Perl\style1\color=16776960
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
300 Perl\style1\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
301 Perl\style1\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
302 Perl\style1\paper=16711680
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
303 Perl\style2\color=43520
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
304 Perl\style2\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
305 Perl\style2\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
306 Perl\style2\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
307 Perl\style3\color=16384
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
308 Perl\style3\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
309 Perl\style3\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
310 Perl\style3\paper=14745568
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
311 Perl\style4\color=11184640
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
312 Perl\style4\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
313 Perl\style4\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
314 Perl\style4\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
315 Perl\style5\color=127
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
316 Perl\style5\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
317 Perl\style5\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
318 Perl\style5\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
319 Perl\style6\color=16755200
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
320 Perl\style6\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
321 Perl\style6\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
322 Perl\style6\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
323 Perl\style7\color=16755200
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
324 Perl\style7\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
325 Perl\style7\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
326 Perl\style7\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
327 Perl\style10\color=16711680
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
328 Perl\style10\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
329 Perl\style10\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
330 Perl\style10\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
331 Perl\style11\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
332 Perl\style11\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
333 Perl\style11\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
334 Perl\style11\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
335 Perl\style12\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
336 Perl\style12\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
337 Perl\style12\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
338 Perl\style12\paper=16769248
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
339 Perl\style13\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
340 Perl\style13\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
341 Perl\style13\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
342 Perl\style13\paper=16777184
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
343 Perl\style14\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
344 Perl\style14\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
345 Perl\style14\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
346 Perl\style14\paper=16769279
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
347 Perl\style15\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
348 Perl\style15\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
349 Perl\style15\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
350 Perl\style15\paper=14737632
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
351 Perl\style17\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
352 Perl\style17\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
353 Perl\style17\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
354 Perl\style17\paper=10551200
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
355 Perl\style18\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
356 Perl\style18\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
357 Perl\style18\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
358 Perl\style18\paper=15786112
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
359 Perl\style20\color=16776960
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
360 Perl\style20\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
361 Perl\style20\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
362 Perl\style20\paper=10518656
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
363 Perl\style21\color=6291456
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
364 Perl\style21\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
365 Perl\style21\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
366 Perl\style21\paper=16773336
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
367 Perl\style22\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
368 Perl\style22\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
369 Perl\style22\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
370 Perl\style22\paper=14536925
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
371 Perl\style23\color=8323199
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
372 Perl\style23\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
373 Perl\style23\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
374 Perl\style23\paper=14536925
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
375 Perl\style24\color=8323199
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
376 Perl\style24\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
377 Perl\style24\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
378 Perl\style24\paper=14536925
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
379 Perl\style25\color=8323199
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
380 Perl\style25\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
381 Perl\style25\font=__default_font__, __default_font_size__, 0, 1, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
382 Perl\style25\paper=14536925
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
383 Perl\style26\color=8323199
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
384 Perl\style26\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
385 Perl\style26\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
386 Perl\style26\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
387 Perl\style27\color=8323199
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
388 Perl\style27\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
389 Perl\style27\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
390 Perl\style27\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
391 Perl\style28\color=16776960
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
392 Perl\style28\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
393 Perl\style28\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
394 Perl\style28\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
395 Perl\style29\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
396 Perl\style29\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
397 Perl\style29\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
398 Perl\style29\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
399 Perl\style30\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
400 Perl\style30\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
401 Perl\style30\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
402 Perl\style30\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
403 Perl\style31\color=16384
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
404 Perl\style31\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
405 Perl\style31\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
406 Perl\style31\paper=12648384
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
407 Perl\style40\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
408 Perl\style40\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
409 Perl\style40\font=__default_font__, __default_font_size__, 0, 1, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
410 Perl\style40\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
411 Perl\style41\color=12583104
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
412 Perl\style41\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
413 Perl\style41\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
414 Perl\style41\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
415 Perl\style42\color=12583104
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
416 Perl\style42\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
417 Perl\style42\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
418 Perl\style42\paper=16773375
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
419 Perl\style43\color=13631488
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
420 Perl\style43\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
421 Perl\style43\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
422 Perl\style43\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
423 Perl\style44\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
424 Perl\style44\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
425 Perl\style44\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
426 Perl\style44\paper=15786112
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
427 Perl\style54\color=13631488
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
428 Perl\style54\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
429 Perl\style54\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
430 Perl\style54\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
431 Perl\style55\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
432 Perl\style55\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
433 Perl\style55\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
434 Perl\style55\paper=15786112
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
435 Perl\style57\color=13631488
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
436 Perl\style57\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
437 Perl\style57\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
438 Perl\style57\paper=10518656
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
439 Perl\style61\color=13631488
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
440 Perl\style61\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
441 Perl\style61\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
442 Perl\style61\paper=14536925
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
443 Perl\style62\color=13631488
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
444 Perl\style62\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
445 Perl\style62\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
446 Perl\style62\paper=14536925
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
447 Perl\style64\color=13631488
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
448 Perl\style64\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
449 Perl\style64\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
450 Perl\style64\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
451 Perl\style65\color=13631488
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
452 Perl\style65\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
453 Perl\style65\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
454 Perl\style65\paper=10518656
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
455 Perl\style66\color=13631488
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
456 Perl\style66\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
457 Perl\style66\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
458 Perl\style66\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
459 Perl\properties\foldatelse=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
460 Perl\properties\foldcomments=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
461 Perl\properties\foldcompact=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
462 Perl\properties\foldpackages=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
463 Perl\properties\foldpodblocks=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
464 Perl\defaultcolor=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
465 Perl\defaultpaper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
466 Perl\defaultfont=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
467 Perl\autoindentstyle=-1
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
468 Batch\style0\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
469 Batch\style0\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
470 Batch\style0\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
471 Batch\style0\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
472 Batch\style1\color=43520
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
473 Batch\style1\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
474 Batch\style1\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
475 Batch\style1\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
476 Batch\style2\color=255
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
477 Batch\style2\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
478 Batch\style2\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
479 Batch\style2\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
480 Batch\style3\color=8323199
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
481 Batch\style3\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
482 Batch\style3\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
483 Batch\style3\paper=6316128
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
484 Batch\style4\color=8355584
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
485 Batch\style4\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
486 Batch\style4\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
487 Batch\style4\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
488 Batch\style5\color=127
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
489 Batch\style5\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
490 Batch\style5\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
491 Batch\style5\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
492 Batch\style6\color=8388736
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
493 Batch\style6\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
494 Batch\style6\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
495 Batch\style6\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
496 Batch\style7\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
497 Batch\style7\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
498 Batch\style7\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
499 Batch\style7\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
500 Batch\defaultcolor=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
501 Batch\defaultpaper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
502 Batch\defaultfont=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
503 Batch\autoindentstyle=-1
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
504 Diff\style0\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
505 Diff\style0\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
506 Diff\style0\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
507 Diff\style0\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
508 Diff\style1\color=32512
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
509 Diff\style1\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
510 Diff\style1\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
511 Diff\style1\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
512 Diff\style2\color=8355584
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
513 Diff\style2\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
514 Diff\style2\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
515 Diff\style2\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
516 Diff\style3\color=8323072
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
517 Diff\style3\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
518 Diff\style3\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
519 Diff\style3\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
520 Diff\style4\color=8323199
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
521 Diff\style4\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
522 Diff\style4\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
523 Diff\style4\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
524 Diff\style5\color=32639
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
525 Diff\style5\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
526 Diff\style5\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
527 Diff\style5\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
528 Diff\style6\color=127
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
529 Diff\style6\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
530 Diff\style6\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
531 Diff\style6\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
532 Diff\style7\color=8355711
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
533 Diff\style7\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
534 Diff\style7\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
535 Diff\style7\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
536 Diff\defaultcolor=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
537 Diff\defaultpaper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
538 Diff\defaultfont=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
539 Diff\autoindentstyle=-1
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
540 Bash\style0\color=8421504
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
541 Bash\style0\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
542 Bash\style0\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
543 Bash\style0\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
544 Bash\style1\color=16776960
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
545 Bash\style1\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
546 Bash\style1\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
547 Bash\style1\paper=16711680
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
548 Bash\style2\color=32512
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
549 Bash\style2\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
550 Bash\style2\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
551 Bash\style2\paper=16777215
19382
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
552 Bash\style3\color=43647
18004
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
553 Bash\style3\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
554 Bash\style3\font=__default_font__, __default_font_size__, 0, 0, 0
19382
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
555 Bash\style0\paper=16777215
18004
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
556 Bash\style4\color=127
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
557 Bash\style4\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
558 Bash\style4\font=__default_font__, __default_font_size__, 1, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
559 Bash\style4\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
560 Bash\style5\color=16755200
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
561 Bash\style5\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
562 Bash\style5\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
563 Bash\style5\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
564 Bash\style6\color=16755200
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
565 Bash\style6\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
566 Bash\style6\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
567 Bash\style6\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
568 Bash\style7\color=16711680
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
569 Bash\style7\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
570 Bash\style7\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
571 Bash\style7\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
572 Bash\style8\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
573 Bash\style8\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
574 Bash\style8\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
575 Bash\style8\paper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
576 Bash\style9\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
577 Bash\style9\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
578 Bash\style9\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
579 Bash\style9\paper=16769248
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
580 Bash\style10\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
581 Bash\style10\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
582 Bash\style10\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
583 Bash\style10\paper=16777184
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
584 Bash\style11\color=16776960
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
585 Bash\style11\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
586 Bash\style11\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
587 Bash\style11\paper=10518656
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
588 Bash\style12\color=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
589 Bash\style12\eolfill=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
590 Bash\style12\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
591 Bash\style12\paper=14536925
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
592 Bash\style13\color=8323199
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
593 Bash\style13\eolfill=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
594 Bash\style13\font=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
595 Bash\style13\paper=14536925
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
596 Bash\properties\foldcomments=false
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
597 Bash\properties\foldcompact=true
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
598 Bash\defaultcolor=0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
599 Bash\defaultpaper=16777215
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
600 Bash\defaultfont=__default_font__, __default_font_size__, 0, 0, 0
b001d9e9fd17 add systems default monospace font for terminal and editor to default settings
Torsten <ttl@justmail.de>
parents: 18003
diff changeset
601 Bash\autoindentstyle=-1
19382
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
602 Text\style0\color=0
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
603 Text\style0\eolfill=false
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
604 Text\style0\font=__default_font__, __default_font_size__, 0, 0, 0
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
605 Text\style0\paper=16777215
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
606 Text\defaultcolor=0
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
607 Text\defaultpaper=16777215
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
608 Text\defaultfont=__default_font__, __default_font_size__, 0, 0, 0
c364b9a44580 provide an editor lexer for text or unknown files (bug #43572)
Torsten <ttl@justmail.de>
parents: 18004
diff changeset
609 Text\autoindentstyle=-1