Files
openide/python/educational-python/build/desktop.ini
T
Valentina Kiryushkina 7e5a5b849a Rename educational plugins and update plugin's description
edu --> educational-python
educational --> educational-core
interactive-learning --> student
2016-01-26 19:36:12 +03:00

101 lines
913 B
INI

[Settings]
NumFields=6
[Field 1]
Type=checkbox
Left=5
Right=100
Top=10
Bottom=20
State=0
[Field 2]
Type=checkbox
Left=120
Right=-1
Top=10
Bottom=20
State=0
[Field 3]
Type=GroupBox
Left=1
Right=-1
Top=35
Bottom=65
Text=Choose Python version
[Field 4]
Type=RadioButton
Left=5
Right=100
Top=50
Bottom=60
State=1
Text=Python 2
[Field 5]
Type=RadioButton
Left=120
Right=-1
Top=50
Bottom=60
State=0
Text=Python 3
[Field 6]
Type=GroupBox
Left=1
Right=-1
Top=75
Bottom=105
Text=Create associations
[Field 7]
Type=checkbox
Left=5
Right=45
Top=90
Bottom=100
State=0
[Field 8]
Type=checkbox
Left=50
Right=90
Top=90
Bottom=100
State=0
[Field 9]
Type=checkbox
Left=95
Right=135
Top=90
Bottom=100
State=0
[Field 10]
Type=checkbox
Left=140
Right=180
Top=90
Bottom=100
State=0
[Field 11]
Type=checkbox
Left=185
Right=225
Top=90
Bottom=100
State=0
[Field 12]
Type=checkbox
Left=230
Right=270
Top=90
Bottom=100
State=0