-
Notifications
You must be signed in to change notification settings - Fork 27
/
com.inform7.IDE.gschema.xml
296 lines (253 loc) · 11.8 KB
/
com.inform7.IDE.gschema.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
<schemalist>
<enum id="com.inform7.IDE.preferences.font-set-enum">
<value nick="Standard" value="0" />
<value nick="Monospace" value="1" /> <!-- deprecated -->
<value nick="Custom" value="2" />
</enum>
<!-- deprecated -->
<enum id="com.inform7.IDE.preferences.font-size-enum">
<value nick="Standard" value="0" />
<value nick="Medium" value="1" />
<value nick="Large" value="2" />
<value nick="Huge" value="3" />
</enum>
<enum id="com.inform7.IDE.preferences.docs-font-size-enum">
<value nick="Smallest" value="0" />
<value nick="Smaller" value="1" />
<value nick="Small" value="2" />
<value nick="Medium" value="3" />
<value nick="Large" value="4" />
<value nick="Larger" value="5" />
<value nick="Largest" value="6" />
</enum>
<enum id="com.inform7.IDE.preferences.interpreter-enum">
<value nick="Glulxe (default)" value="0" />
<value nick="Git" value="1" />
</enum>
<schema id="com.inform7.IDE" path="/com/inform7/IDE/">
<child name="preferences" schema="com.inform7.IDE.preferences"/>
<child name="state" schema="com.inform7.IDE.state"/>
</schema>
<schema id="com.inform7.IDE.preferences" path="/com/inform7/IDE/preferences/">
<child name="skein" schema="com.inform7.IDE.preferences.skein"/>
<key name="author-name" type="s">
<default>''</default>
<summary>Preferred author's name for Inform 7 projects</summary>
<description>The name you prefer to use for your new Inform 7 projects. If
this field is left blank, then your long username is used instead. Note
that you can always change the name you are writing under after you have
created the project.</description>
</key>
<key name="font-set" enum="com.inform7.IDE.preferences.font-set-enum">
<default>'Standard'</default>
<summary>Font set to use in the Source panel</summary>
<description>Font set to use in the Source panel. Allowed values are
"Standard" and "Custom". The first one looks for the default interface
font from your desktop theme, and the latter uses the custom font you
select yourself (see custom-font).</description>
</key>
<key name="custom-font" type="s">
<default>'Sans 11'</default>
<summary>Custom font to use in the Source panel</summary>
<description>Font to use in the Source panel if font-set (q.v.) is set to
"Custom".</description>
</key>
<key name="font-size" enum="com.inform7.IDE.preferences.font-size-enum">
<default>'Standard'</default>
<summary>(deprecated) Font size to use in the application</summary>
<description>This setting is deprecated and has no effect.</description>
</key>
<key name="docs-font-size" enum="com.inform7.IDE.preferences.docs-font-size-enum">
<default>'Medium'</default>
<summary>Font size to scale the documentation fonts to</summary>
<description>When viewing the documentation, scale the fonts to this size.
Allowed values are "Smallest", "Smaller", "Small", "Medium", "Large",
"Larger", and "Largest". These correspond to multipliers of 0.5, 0.7, 0.8,
1.0, 1.2, 1.4, and 1.8, respectively.</description>
</key>
<key name="style-scheme" type="s">
<default>'inform'</default>
<summary>Style scheme to use in the application</summary>
<description>Name of the style scheme to use in the application. The style
scheme defines the colors and styles of all of the different highlighting
possibilities of the Natural Inform language.</description>
</key>
<key name="tab-width" type="u">
<default>0</default>
<summary>Tab width to use in the Source panel</summary>
<description>Tab width, in spaces, to use in the Source panel. A value of
0 means use the default tab width.</description>
</key>
<key name="elastic-tabstops" type="b">
<default>false</default>
<summary>Use elastic tabstops</summary>
<description>Auto-space table columns using the elastic tabstops
algorithm.</description>
</key>
<key name="elastic-tabstops-padding" type="u">
<default>16</default>
<range min="1" max="999"/> <!-- no obvious max -->
<summary>Number of pixels of padding between elastic tabstops</summary>
<description>If elastic tabstops are turned on, there will be this many
pixels of padding inserted between the tabstops.</description>
</key>
<key name="syntax-highlighting" type="b">
<default>true</default>
<summary>Use syntax highlighting in the Source panel</summary>
<description>Syntax highlighting will automatically color and style your
source code to indicate what different parts do. If you have a slow
computer, you may see a performance benefit by turning this
off.</description>
</key>
<key name="auto-indent" type="b">
<default>true</default>
<summary>Use auto-indenting in the Source panel</summary>
<description>If this option is selected, Inform will track the number of
tabs at the beginning of the last line and automatically indent the next
line accordingly when you insert a new line by pressing
return.</description>
</key>
<key name="indent-wrapped" type="b">
<default>false</default>
<summary>(deprecated) Indent wrapped lines in the Source panel</summary>
<description>This option is deprecated and permanently switched off.
</description>
</key>
<key name="intelligence" type="b">
<default>true</default>
<summary>(deprecated) Use intelligent symbol following in the Source
panel</summary>
<description>This option is deprecated and permanently switched on.
</description>
</key>
<key name="auto-number" type="b">
<default>false</default>
<summary>Auto-number sections as you type</summary>
<description>If you check this option, Inform will automatically renumber
sections when you insert a new one. It will also automatically insert a
section number as you type: if you type "Part ", Inform will insert "2 - "
and renumber the previous Part 2 to Part 3 and so on.</description>
</key>
<key name="interpreter" enum="com.inform7.IDE.preferences.interpreter-enum">
<default>'Glulxe (default)'</default>
<summary>Use the Git interpreter for Glulx story files</summary>
<description>This setting determines the interpreter to use in the Game
tab for Glulx story files: Git or Glulxe. Previous versions of Inform 7
used Glulxe, which is still the default, but in the future Git may become
standard.</description>
</key>
<key name="added-nest" type="s">
<default>''</default>
<summary>Additional search directory for extensions for Inform 7 projects</summary>
<description>This should be the parent directory of a directory called "Extensions".
If present, the Inform 7 compiler will search this to find additional extensions
when compiling all Inform 7 projects. Useful when developing Inform 7 extensions.
If left blank, do not check any additional directory.</description>
</key>
<key name="clean-build-files" type="b">
<default>true</default>
<summary>Clean build files from projects before closing</summary>
<description>Build files are files that are generated while turning your
story into a game file. Selecting this option will ensure that they are
deleted when you close or save a project. These files can grow quite large
(many times the size of your source code), so deleting them is a good idea
if you are planning to send a project to someone else.</description>
</key>
<key name="clean-index-files" type="b">
<default>false</default>
<summary>Clean index files from projects before closing</summary>
<description>Selecting this option will cause Inform to additionally clean
out the project's various index files. These are generated by the Inform 7
compiler and can be safely deleted, though they may be useful the next
time you open the project.</description>
</key>
<key name="show-debug-log" type="b">
<default>false</default>
<summary>Show debugging log and Inform 6 intermediate code</summary>
<description>This option places two extra tabs in the Errors panel,
containing a debugging log and the Inform 6 intermediate code. It is
intended only for advanced users of Inform 7. It is most useful to people
involved with maintaining the compiler, although the Inform 6 intermediate
code may be of interest to especially advanced extension
authors.</description>
</key>
</schema>
<schema id="com.inform7.IDE.state" path="/com/inform7/IDE/state/">
<key name="spell-check" type="b">
<default>true</default>
<summary>Spell check the Source</summary>
<description>Default setting for spell checking when opening a new
window.</description>
</key>
<key name="show-toolbar" type="b">
<default>true</default>
<summary>(deprecated) Show the toolbar</summary>
<description>This setting is deprecated and ignored.</description>
</key>
<key name="show-statusbar" type="b">
<default>true</default>
<summary>(deprecated) Show the status bar</summary>
<description>This setting is deprecated and ignored.</description>
</key>
<key name="show-notepad" type="b">
<default>false</default>
<summary>Show the notepad</summary>
<description>Default setting for showing the notepad when opening a new
window.</description>
</key>
<key name="elastic-tabstops" type="b">
<default>false</default>
<summary>(deprecated) Use elastic tabstops</summary>
<description>This setting is deprecated and ignored.</description>
</key>
<key name="app-window-size" type="(ii)">
<default>(1000, 800)</default>
<summary>Default size of application window</summary>
<description>Width and height, in pixels, for newly-created application
windows.</description>
</key>
<key name="divider-position" type="i">
<default>500</default>
<range min="0" max="9999"/> <!--no obvious max-->
<summary>Position of divider between the two pages</summary>
<description>Position of the divider between the two halves of the
application window, in pixels, for newly-created application
windows.</description>
</key>
<key name="ext-window-size" type="(ii)">
<default>(500, 650)</default>
<summary>Default size of extension window</summary>
<description>Width and height, in pixels, for newly-created extension
windows.</description>
</key>
<key name="notepad-position" type="(ii)">
<default>(0, 0)</default>
<summary>Default position of notepad window</summary>
<description>Position, in pixels, at which the notepad window will be
placed when it is shown.</description>
</key>
<key name="notepad-size" type="(ii)">
<default>(300, 300)</default>
<summary>Default size of notepad window</summary>
<description>Width and height, in pixels, of the notepad
window.</description>
</key>
</schema>
<schema id="com.inform7.IDE.preferences.skein"
path="/com/inform7/IDE/preferences/skein/">
<key name="horizontal-spacing" type="d">
<default>40</default>
<range min="0" max="100"/>
<summary>Horizontal spacing between Skein branches</summary>
<description>Approximate horizontal spacing, in pixels, between branches
in the Skein tab.</description>
</key>
<key name="vertical-spacing" type="d">
<default>75</default>
<range min="0" max="200"/>
<summary>Vertical spacing between Skein branches</summary>
<description>Approximate vertical spacing, in pixels, between branches in
the Skein tab.</description>
</key>
</schema>
</schemalist>