← Back to branch summary

~ubuntu-branches/debian/jessie/eso-midas/jessie

« back to all changes in this revision

Viewing changes to gui/XBatch/prj/XBatchred.op

  • Committer: Package Import Robot
  • Author(s): Ole Streicher
  • Date: 2014-04-22 14:44:58 UTC
  • Revision ID: package-import@ubuntu.com-20140422144458-okiwi1assxkkiz39
Tags: upstream-13.09pl1.2+dfsg
Import upstream version 13.09pl1.2+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
gui/XBatch/prj/XBatchred.op
 
1
Uimx2_0.browserClasses: false
 
2
Uimx2_0.browserOutlineSpacing: 10
 
3
Uimx2_0.browserOutlineDepth: 6
 
4
Uimx2_0.browserTreeSpacing: 10
 
5
Uimx2_0.browserTreeDepth: 6
 
6
Uimx2_0.browserView: tree
 
7
Uimx2_0.defaultShell: topLevelShell
 
8
Uimx2_0.editorHideDefault: false
 
9
Uimx2_0.editorHideLocked: false
 
10
Uimx2_0.editorHideNotEqual: false
 
11
Uimx2_0.editorHideSource: true
 
12
Uimx2_0.gridSize: 2
 
13
Uimx2_0.gridActive: true
 
14
Uimx2_0.gridVisible: false
 
15
Uimx2_0.includeFile: false
 
16
Uimx2_0.interfaceFunctionType: create
 
17
Uimx2_0.textEditorGeometry: 50x10
 
18
Uimx2_0.unitType: pixels
 
19
Uimx2_0.writeCCode: Ux Code