203 name: 'CheckBox2' |
203 name: 'CheckBox2' |
204 activeHelpKey: useCodeView2InBrowser |
204 activeHelpKey: useCodeView2InBrowser |
205 enableChannel: useCodeView2InToolEnabled |
205 enableChannel: useCodeView2InToolEnabled |
206 model: useCodeView2InBrowser |
206 model: useCodeView2InBrowser |
207 translateLabel: true |
207 translateLabel: true |
208 extent: (Point 553 30) |
208 extent: (Point 543 30) |
209 ) |
209 ) |
210 (CheckBoxSpec |
210 (CheckBoxSpec |
211 label: 'Use Advanced Code Editor in Debugger (experimental)' |
211 label: 'Use Advanced Code Editor in Debugger (experimental)' |
212 name: 'CheckBox3' |
212 name: 'CheckBox3' |
213 activeHelpKey: useCodeView2InDebugger |
213 activeHelpKey: useCodeView2InDebugger |
214 enableChannel: useCodeView2InToolEnabled |
214 enableChannel: useCodeView2InToolEnabled |
215 model: useCodeView2InDebugger |
215 model: useCodeView2InDebugger |
216 translateLabel: true |
216 translateLabel: true |
217 extent: (Point 553 30) |
217 extent: (Point 543 30) |
218 ) |
218 ) |
219 (CheckBoxSpec |
219 (CheckBoxSpec |
220 label: 'Use Advanced Code Editor in Workspace' |
220 label: 'Use Advanced Code Editor in Workspace' |
221 name: 'CheckBox4' |
221 name: 'CheckBox4' |
222 activeHelpKey: useCodeView2InWorkspace |
222 activeHelpKey: useCodeView2InWorkspace |
223 enableChannel: useCodeView2InToolEnabled |
223 enableChannel: useCodeView2InToolEnabled |
224 model: useCodeView2InWorkspace |
224 model: useCodeView2InWorkspace |
225 translateLabel: true |
225 translateLabel: true |
226 extent: (Point 553 30) |
226 extent: (Point 543 30) |
227 ) |
227 ) |
228 ) |
228 ) |
229 |
229 |
230 ) |
230 ) |
|
231 useDynamicPreferredHeight: true |
231 usePreferredHeight: true |
232 usePreferredHeight: true |
232 useDynamicPreferredHeight: true |
|
233 ) |
233 ) |
234 ) |
234 ) |
235 |
235 |
236 ) |
236 ) |
237 extent: (Point 589 124) |
237 extent: (Point 589 130) |
238 ) |
238 ) |
239 (FramedBoxSpec |
239 (FramedBoxSpec |
240 label: 'Edit Support' |
240 label: 'Edit Support' |
241 name: 'EditSupport' |
241 name: 'EditSupport' |
242 labelPosition: topLeft |
242 labelPosition: topLeft |
257 (CheckBoxSpec |
257 (CheckBoxSpec |
258 label: 'Show Accept/Cancel Bar in Editor' |
258 label: 'Show Accept/Cancel Bar in Editor' |
259 name: 'ShowAcceptCancelBarInBrowser' |
259 name: 'ShowAcceptCancelBarInBrowser' |
260 activeHelpKey: showAcceptCancelBar |
260 activeHelpKey: showAcceptCancelBar |
261 model: showAcceptCancelBarInBrowser |
261 model: showAcceptCancelBarInBrowser |
262 extent: (Point 553 30) |
262 translateLabel: true |
|
263 extent: (Point 543 30) |
263 ) |
264 ) |
264 (ViewSpec |
265 (ViewSpec |
265 name: 'Box1' |
266 name: 'Box1' |
266 component: |
267 component: |
267 (SpecCollection |
268 (SpecCollection |
276 translateLabel: true |
277 translateLabel: true |
277 ) |
278 ) |
278 ) |
279 ) |
279 |
280 |
280 ) |
281 ) |
281 extent: (Point 553 30) |
282 extent: (Point 543 30) |
282 ) |
283 ) |
283 (CheckBoxSpec |
284 (CheckBoxSpec |
284 label: 'Auto Pretty Print (experimental, not yet recommended)' |
285 label: 'Auto Pretty Print (experimental, not yet recommended)' |
285 name: 'CheckBox5' |
286 name: 'CheckBox5' |
286 activeHelpKey: codeView2AutoPrettyPrint |
287 activeHelpKey: codeView2AutoPrettyPrint |
287 visibilityChannel: false |
288 visibilityChannel: false |
288 enableChannel: false |
289 enableChannel: false |
289 model: codeView2AutoPrettyPrint |
290 model: codeView2AutoPrettyPrint |
290 translateLabel: true |
291 translateLabel: true |
291 extent: (Point 553 30) |
292 extent: (Point 543 30) |
292 ) |
293 ) |
293 ) |
294 ) |
294 |
295 |
295 ) |
296 ) |
296 ) |
297 ) |
297 ) |
298 ) |
298 |
299 |
299 ) |
300 ) |
300 extent: (Point 589 120) |
301 extent: (Point 589 136) |
301 ) |
302 ) |
302 (FramedBoxSpec |
303 (FramedBoxSpec |
303 label: 'Keyboard Shortcuts' |
304 label: 'Keyboard Shortcuts' |
304 name: 'FramedBox1' |
305 name: 'FramedBox1' |
305 labelPosition: topLeft |
306 labelPosition: topLeft |
321 label: 'Quick Senders/Implementors Menu with CTRL key (as opposed to ALT key)' |
322 label: 'Quick Senders/Implementors Menu with CTRL key (as opposed to ALT key)' |
322 name: 'CheckBox7' |
323 name: 'CheckBox7' |
323 activeHelpKey: codeView2QuickSendersAndImplementorsOnControl |
324 activeHelpKey: codeView2QuickSendersAndImplementorsOnControl |
324 model: codeView2QuickSendersAndImplementorsOnControl |
325 model: codeView2QuickSendersAndImplementorsOnControl |
325 translateLabel: true |
326 translateLabel: true |
326 extent: (Point 553 30) |
327 extent: (Point 543 30) |
327 ) |
328 ) |
328 ) |
329 ) |
329 |
330 |
330 ) |
331 ) |
331 ) |
332 ) |
332 ) |
333 ) |
333 |
334 |
334 ) |
335 ) |
335 extent: (Point 589 65) |
336 extent: (Point 589 70) |
336 ) |
337 ) |
337 ) |
338 ) |
338 |
339 |
339 ) |
340 ) |
340 ) |
341 ) |