src/tools/JavaSettingsApplication.st
author vranyj1
Thu, 02 Aug 2012 21:00:10 +0000
branchjk_new_structure
changeset 1586 45694b771d99
parent 1571 8e7dc83b87e4
child 1590 b977644c9b69
permissions -rw-r--r--
- JavaSettingsApplication improved (can add/remove paths) added: #javaClassPathLiteralArray #javaSourcePathLiteralArray changed: #basicSaveSettings #hasUnsavedChangesInUserEntriesInPath:comparedTo:
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
     1
"{ Package: 'stx:libjava/tools' }"
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
     2
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
     3
AbstractSettingsApplication subclass:#JavaSettingsApplication
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
     4
	instanceVariableNames:'javaReleaseHolder javaReleaseList javaHomeHolder
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
     5
		javaReleaseIsCustomHolder javaClassPathHolder
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
     6
		javaSourceDirectoriesHolder'
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
     7
	classVariableNames:''
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
     8
	poolDictionaries:''
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
     9
	category:'Languages-Java-Tools'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    10
!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    11
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    12
ApplicationModel subclass:#PathEditor
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    13
	instanceVariableNames:'selectionHolder pathListEffectiveHolder pathListHolder pathList
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    14
		treeList treeView treeListItemForUserDefined'
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    15
	classVariableNames:''
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    16
	poolDictionaries:''
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    17
	privateIn:JavaSettingsApplication
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    18
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    19
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    20
HierarchicalList subclass:#PathElementList
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    21
	instanceVariableNames:'userItem userCategory'
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    22
	classVariableNames:''
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    23
	poolDictionaries:''
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    24
	privateIn:JavaSettingsApplication::PathEditor
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    25
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    26
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    27
HierarchicalItem subclass:#Category
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    28
	instanceVariableNames:'origin label'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    29
	classVariableNames:''
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    30
	poolDictionaries:''
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    31
	privateIn:JavaSettingsApplication::PathEditor::PathElementList
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    32
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    33
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    34
HierarchicalItem subclass:#Item
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
    35
	instanceVariableNames:'element x'
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    36
	classVariableNames:''
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    37
	poolDictionaries:''
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
    38
	privateIn:JavaSettingsApplication::PathEditor::PathElementList
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    39
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
    40
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    41
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    42
!JavaSettingsApplication class methodsFor:'initialization'!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    43
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    44
initialize
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    45
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    46
    self installInSettings
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    47
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    48
    "Created: / 23-06-2005 / 09:27:10 / masca"
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    49
!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    50
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    51
installInSettings
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    52
    
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    53
    Smalltalk addStartBlock:[
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    54
        AbstractLauncherApplication 
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    55
            addSettingsApplicationByClass:self name withName:'Java' icon:self defaultIcon
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    56
    ]
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    57
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    58
    "Created: / 23-06-2005 / 09:27:10 / masca"
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    59
    "Modified: / 19-07-2012 / 11:26:54 / Jan Vrany <jan.vrany@fit.cvut.cz>"
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    60
! !
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    61
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    62
!JavaSettingsApplication class methodsFor:'image specs'!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    63
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    64
defaultIcon
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    65
    ^ self libjavaCupIconInTree
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    66
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    67
    "Created: / 19-07-2012 / 11:26:44 / Jan Vrany <jan.vrany@fit.cvut.cz>"
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    68
!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    69
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    70
libjavaCupIcon
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    71
    "This resource specification was automatically generated
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    72
     by the ImageEditor of ST/X."
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    73
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    74
    "Do not manually edit this!! If it is corrupted,
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    75
     the ImageEditor may not be able to read the specification."
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    76
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    77
    "
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    78
     self libjavaCupIcon inspect
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    79
     ImageEditor openOnClass:self andSelector:#libjavaCupIcon
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    80
     Icon flushCachedIcons
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    81
    "
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    82
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    83
    <resource: #image>
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    84
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    85
    ^Icon
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    86
        constantNamed:'JavaSettingsApplication libjavaCupIcon'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    87
        ifAbsentPut:[(Depth24Image new) width: 66; height: 66; photometric:(#rgb); bitsPerSample:(#(8 8 8)); samplesPerPixel:(3); bits:(ByteArray fromPackedString:'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    88
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    89
?????????????????????????????????_O)?/_1????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    90
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    91
?????????????????????????????????????????????????????????/+7<+E4????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    92
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    93
????????????????????????????????????????????????????????????????????????????????????:8X(?/#2????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    94
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    95
????????????????????????????????????????????????????????????????????????????????????????????????????????????:(D >MZ6????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    96
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    97
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    98
??????????;>:G\N=\FQ????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
    99
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   100
?????????????????????????????????N7_96<@<;*D????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   101
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   102
????????????????????????????????????????????????????????=\FQ96<@=,&_????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   103
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   104
??????????????????????????????????????????????????????????????????????????????;=:8 ,96<@>>#W????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   105
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   106
????????????????????????????????????????????????????????????????????????????????????????????????????=,"]96<@:8$.????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   107
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   108
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   109
?N/\:G\N96<@=,&_????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   110
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   111
?????????????????????_G'':(L$96<@:8X)??7;????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   112
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   113
?????????????????????????????????????????_G'':(P%96<@97DC>.GJ????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   114
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   115
?????????????????????????????????????????????????????????????OC$;H,196<@96<@<;"A????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   116
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   117
????????????????????????????????????????????????????????????????????????????????>.KL:W8Z96<@96<@;99T??;>????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   118
?????????????????_W.????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   119
????????????????????????????????????????????????????????????????????????????????????????????????????=<6'':GTJ96<@96<@;))M
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   120
?//8????????????????????????>>[S<;Y>=\JS?_W.????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   121
?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????/39
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   122
<Z5.96<@96<@96<@;95R?/39?????????????????/''5=\VY;H,2;Y@;>>WQ????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   123
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   124
?????????????????_K(;I@:96<@96<@96<@<*90??7<?????????????/39=\NT:''8[:GPH=\FR??7<????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   125
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   126
?????????????????????????????????????N+Z:(L#96<@96<@97DC=\NT????????????????>]&;:(H!!96<@:8 ->>''X????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   127
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   128
????????????????????????????????????????????????????????>.GJ:W,U96<@96<@:GXL>MV4??????????????7;<;U<97@B96<@;:AW?/#2????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   129
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   130
????????????????????????????????????????????????????????????????????????????>>SP:W$Q96<@96<@:GXL>-?F?????????????//8;)%J
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   131
96<@96<@<Z-+??;>????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   132
?????????????????????????????????????????????????????????????????????????????????????????????????/_0:(H"96<@96<@97DD>]":
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   133
??????????????;>;)1O96<@96<@<Z))??;>????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   134
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   135
<Z-*96<@96<@96<@=K.F????????????????=\FQ96<@96<@;H04??7<????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   136
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   137
?????????????????????_W.:GLG96<@96<@:(L$??7;?????????????/''5:W$Q96<@96<@==F-????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   138
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   139
????????????????????????????????????????????>M^896<@96<@96<@=\BP????????????????=,2$96<@96<@96<@?_K(????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   140
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   141
????????????????????????????????????????????????????????????????????>MR296<@96<@96<@>>#V????????????????<;Q;96<@96<@96<@
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   142
>>_T????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   143
?????????????????????????????????????????????????????????????????????????????????????????????OC$96<@96<@96<@?/#2????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   144
????????<Z-+96<@96<@96<@<;"B????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   145
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   146
:8 -96<@96<@?OC$????????????????=\NT96<@96<@96<@:W$Q?_O*????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   147
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   148
????????????????????????=<6&96<@96<@==F.????????????????>>[R96<@96<@96<@96<@<J]$????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   149
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   150
??????????????????????????????????????????????????7<;H8796<@;))M????????????????????;)]F96<@96<@96<@96<@=<:)????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   151
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   152
?????????????????????????????????????????????????????????????????????????????N3^:G\N96<@>.KL????????????????>].?97@B96<@
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   153
96<@96<@:W0W?/_0????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   154
????????????????????????????????????????????????????????????????????????????????????????????????????????=<6''97@A;)]G??;>
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   155
????????????????<;Q;96<@96<@96<@96<@=K6K????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   156
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   157
????????????=\VX96<@=\VY??????????????????7;;I@:96<@96<@96<@;91P????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   158
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   159
????????????????????????????????????????<;]?:W P?N?#????????????????>>#W:GLG96<@96<@;9=U????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   160
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   161
????????????????????????????????????????????????????????????????????=\RW;YH>??7<????????????????;))M96<@96<@=<:(????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   162
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   163
????????????????????????????????????????????????????????????????????????????????????????????????=\NT=,&_????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   164
<*9096<@:(L$?/+7????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   165
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   166
????>]*=?/''5????????????;99S:GPH>.KK????????????????????????????????????????9.713M+#2-#"9>72????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   167
????????????????????????????????????????????????????????????????????????????????????????????????????>O+;6NO*-\''V*LCO2-#"
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   168
:^?3??????????????????????????????;=?????????_G'':W0W>].?????????????????????????????????????9.71);?O+LOR$J?CV8"%T8J!!_*F9
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   169
7>#.????????????????????????????????????????????????????????????????????????????????????????????????????????????:?G4+<WT
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   170
]Y.4W(*''$;GD3M+#>/3<??????????????????????????????????????????????;><;"A>>#W????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   171
????????????=/#:"**?T8J!!V(^%6^O*????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   172
????????5>K)"Z&>UXN"T8J!!''[_I=O_9?????????????????????????????????????????????????????????/_1??7<????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   173
????????>O+;9^31?/??????????????????????>/3<ZYJ-T8J!![)Z0?/??????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   174
????????????????????????????.<7ZUHJ!!T8J!!T8J!!T8J!!,L[T;/O6????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   175
=?'';8.+/3]/$.,7Y)[;N$Z?C_JB7Z)N.'';''J<?[8????????????????????????????);?OT8J!!T8J!!7._-????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   176
????????????????????????????????????????????????????8^''. JN:UXN"T8J!!T8J!!T8J!!T8J!!ZYJ-^Y:6!!ZZ<$J?C&KSG&KSG&KSG&KSG%;SF#J3@
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   177
!!ZZ<_:J9]Y.3Z)N.XH.(U(R"T8J!!T8J!!T8J!!U8V#\9*3%KGD-L''V9^31????????????????????????????????????-\+WT8J!!T8J!!4=?''????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   178
????????????????????????????????????????????????????????????????????????????????????<_W72=''#*<KQ&+WH"Z&>^):6Z)N.W(*''W(*''
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   179
VHZ$T8J!!T8J!!T8J!!UHJ!!W(*''XH2(Z)N.[YV/_ZF8$+CC)K7M-\+W2-#"7>_-?O7=????????????????????????????????????????????????????%+OF
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   180
T8J!!UHJ!!<OS7????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   181
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   182
????????????????<_W7WH"&T8J!!"Z&>????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   183
????????????????????????????????????=O_9????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   184
?????????????????????????????????????/??":/@T8J!!XX2):^?3????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   185
????????????????????????????????????????????????????:N;2"**?.,7Y????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   186
????????????????????????????????????????????????????????????([/LT8J!!XH2(6>W+????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   187
????????????????????????????????????????????????????????????????????????8>/0WH"&T8J!!);?O>/3<????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   188
????????????????????????????>O+;7N[,/-C\(+/L4-?''????????????????????????????>/3<$+CDT8J!!^I65:N;2????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   189
????????????????????????????????????????????????????????????????????????????????????????????????5NC''UHJ!!T8J!!T8J!!VHZ$]925
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   190
!!*^=$Z?C''[_I*LCO+<WS+<WS+<WS+<WS*LCO&;[H#*7A JJ9ZYJ-UHJ!!T8J!!T8J!!T8J!!UXN"''K_I;/O6????????????????8^''/\)&2Z9R.0MG\?/??????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   191
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   192
????3=3%_ZF8UHN"T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!U(R#\)&2&[WG1MS_;?S7????????=/#:*\CP
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   193
#J/@3M+#?/;>????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   194
????????????????????????????????????<OS72M_!!*\GP%+OF!!JZ<\I^1Z)N.Z)N.Z)N.Z)N.Z)N.Z)N.\9*3 JJ9$+CC*,GQ0-O^7._->?3=????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   195
????????????????6^O*>O+;????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   196
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   197
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   198
?????????????????????????????????????????????????????????????????????????????????????????????O7=????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   199
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   200
????????????????????????????????????????????????????????????????????????????????????????????????????????????5>K)!!JZ<;_K5
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   201
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   202
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   203
????????4M7%UHJ!!T8J!!"**?0-K]8.+/<OS7?_;>?????????????????????/;>;/O66.S+/,?[(;3M"J&>,,_U>/3<????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   204
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   205
????????????????????????????????4-?''UHN"T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!W(*''Z)N.Z)N.Z)N.Y)B+U(R#T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!X86)*\GP
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   206
;?S7????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   207
????????????????????????????????????????????????????????????4-?'']).4T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   208
T8J!!T8J!!T8J!!UHN"_ZB8/=C\>O+;????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   209
????????????????????????????????????????????????????????;/O64-;&1=[ 1-W =O_9????????????????8^''.+\OR!!JZ<XH.(T8J!!T8J!!T8J!!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   210
T8J!!T8J!!T8J!!T8J!!T8J!!XH2(_ZF8&+WH1]W_</W8????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   211
????????????????????????????????????????????????????????????????????9^31'';''K[)Z0]).4+,SS6.S+=/'':????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   212
????????????=_#98N#.7^[,7^[,7^[,7>#.;_K5>/3<????????????????????????????????????????????????????????????????????5^C(=?'';
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   213
????????????????????????????????????????????????????????????????????????????????????9^31!!*^=UHJ!!]Y.36>W+????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   214
????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   215
????????????????''[#J1-W ????????????????????????????????????????????????????????????????????????????????0MG\U8V#T8J!!T8J!!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   216
+,SS????????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   217
????????????????????????????>_/<2=''# :V;#J3@>//<????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   218
????????^Y66T8J!!T8J!!T8J!!T8J!![)Z0(;3M2=''#;OG5?/??????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   219
????????????????????????????????</W86>W+1MS_(K+K^Y66WH"&#J/@5^G(?????????????_;>=O_9????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   220
????????????????????????????????9>;2%[KEYH:*T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!VHZ$[9^0"J">''+#J*\GP-L''V0MG\2-''"4];&4];&4];&4];&4];&
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   221
4];&4];&4];&4];&1-W 1-W 1MS_-</X*,GQ''[#J$J?C!!JV<\9&2WH&&T8J!!UHJ!![9Z0&[WG1-[ =O_9????????????????:/C4#J/@=_#9????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   222
????????????????????????????????????????????????????????????????????;_K55NC''/L;[)[7N#J3@]925YX>+U(R"T8J!!T8J!!T8J!!T8J!!T8J!!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   223
T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!T8J!!U8V#Y9B,_ZB8%+OF,L[T3-3$=O_9?????????????????????/;>3=3%#J/@
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   224
XX2)5NC''????????????????????????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   225
?/??;?O67>_-4];&1-[ /L;[,,_U*LCO(;3M(;3M(;3M(;3M(;3M)+;N+<WS,\_U/,?[2-#"5.G)8.+/</W8?????????????????????????????????/??
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   226
9^310]K]$+CCXX2)U8V#%[KE:?C4????????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   227
?????????????????/??7>#.;_K5?/;>????????????????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   228
</W85>K).,7Y''K_I_*F9WX&''T8J!!UHN"]925+\OR;?O6????????????????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   229
????????????????????????????????????????????=O_9.,7Y&KSG"**? JN:$Z?C([/L(;3M);?O+<WS+<WS.L3X.,7Y.,7Y.,7Y.,7Y.,7Y-</X*<KQ
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   230
(K+K%KKE"**?^):6ZIF,VHV$T8J!!T8J!!WX&''\9&2$+CC,<#U4=?''=O_9????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   231
????????????????????????????????????????????????????????????????????????????????????????<OS78^''.3-3$/=C\+<WT*,GQ(;3M&+WH
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   232
&KSG&KSG&KSG&KSG&KSG&KSG&KSG(;3M+\OR-\''V/,?[3=3%8>+0=?'';????????????????????????????????????????????????????????????????
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   233
????????????????????????') ; yourself]
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   234
!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   235
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   236
libjavaCupIconInTree
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   237
    "This resource specification was automatically generated
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   238
     by the ImageEditor of ST/X."
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   239
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   240
    "Do not manually edit this!! If it is corrupted,
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   241
     the ImageEditor may not be able to read the specification."
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   242
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   243
    "
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   244
     self libjavaCupIconInTree inspect
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   245
     ImageEditor openOnClass:self andSelector:#libjavaCupIconInTree
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   246
     Icon flushCachedIcons
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   247
    "
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   248
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   249
    <resource: #image>
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   250
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   251
    ^Icon
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   252
        constantNamed:'JavaSettingsApplication libjavaCupIconInTree'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   253
        ifAbsentPut:[(Depth8Image new) width: 22; height: 22; photometric:(#palette); bitsPerSample:(#(8)); samplesPerPixel:(1); bits:(ByteArray fromPackedString:'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   254
G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_C1<_G1<_G1<_G1<_
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   255
G1<_G1<_G1<_DA<_G1<_G1<_G1<_G1<_G1<_G1<_DA<_DQ<_G1<_G1<_G1<_G1<_G1<_DA<_D!!<_G1<_G1<_G1<_G1<_G1<_DA<_DA<_G1<_G1<_G1<_G1<_
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   256
G1<_G1@_G1@_G1<_G1<_G1<_G1<_G1<_G1<NG1<PC1<_G1<_G1<_G1<_G1<_G1<_G08_G1@_G1<_G1<_G1<_G1<_G1<_G1<_G1<PG1<_G1<_G1<_G1<_G1<_
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   257
G1<_G1<_G1<_G1<HG1<_G1<_G1<_BP0B@ HCB H_G1<_G0 _G1<_G1<_G1<_G1<_G1<_G1<_G04_G1<_G1<_G1<_B ,B@ HMA $_G1<_G1<_G1<_G1<_G1<_
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   258
G1<_G1<_G1<_G1<_G1<_G1<_G1<_BQ<_G1<HG1<_G1<_G1<_G1<_G1<_G1<DCP4GG1<_G1<_G1<_G1<_G0$_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G0(AB (J
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   259
B TA@A<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G1<_G0@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@a') ; colorMapFromArray:#[82 129 161 83 129 160 83 129 161 83 129 162 84 129 160 84 129 161 82 130 161 82 130 162 83 130 160 83 130 161 83 130 162 84 130 161 82 131 161 83 131 161 231 110 0 230 111 0 231 111 0 231 112 0 232 112 0 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255]; mask:((ImageMask new) width: 22; height: 22; photometric:(#blackIs0); bitsPerSample:(#[1]); samplesPerPixel:(1); bits:(ByteArray fromPackedString:'@@@@@@@@@@@@@@ @@A@@@BP@@D @@I@@@I@@@I @@D @@@ @@@A@A?  @@A@@?0@@@@@@P @@O@@D@@@A?0@@@@@') ; yourself); yourself]
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   260
! !
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   261
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   262
!JavaSettingsApplication class methodsFor:'interface opening'!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   263
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   264
open    
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   265
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   266
    | settingsApp |
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   267
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   268
    settingsApp := SettingsDialog new.
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   269
    settingsApp addApplClass:self fullName
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   270
                withName:'Java'.
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   271
    settingsApp showRoot: false.
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   272
    settingsApp selectedItem value:
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   273
        (settingsApp applicationList root children anyOne).
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   274
    settingsApp open.
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   275
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   276
    "Created: / 19-07-2012 / 11:25:46 / Jan Vrany <jan.vrany@fit.cvut.cz>"
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   277
! !
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   278
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   279
!JavaSettingsApplication class methodsFor:'interface specs'!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   280
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   281
windowSpec
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   282
    "This resource specification was automatically generated
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   283
     by the UIPainter of ST/X."
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   284
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   285
    "Do not manually edit this!! If it is corrupted,
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   286
     the UIPainter may not be able to read the specification."
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   287
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   288
    "
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   289
     UIPainter new openOnClass:JavaSettingsApplication andSelector:#windowSpec
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   290
     JavaSettingsApplication new openInterface:#windowSpec
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   291
     JavaSettingsApplication open
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   292
    "
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   293
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   294
    <resource: #canvas>
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   295
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   296
    ^ 
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   297
     #(FullSpec
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   298
        name: windowSpec
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   299
        window: 
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   300
       (WindowSpec
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   301
          label: 'Java Settings'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   302
          name: 'Java Settings'
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   303
          min: (Point 10 10)
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   304
          bounds: (Rectangle 0 0 695 627)
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   305
        )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   306
        component: 
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   307
       (SpecCollection
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   308
          collection: (
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   309
           (LabelSpec
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   310
              label: ' Java Settings'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   311
              name: 'SubVersiSettingsTitle'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   312
              layout: (LayoutFrame 0 0 0 0 0 1 66 0)
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   313
              style: (FontDescription helvetica medium roman 18 #'iso10646-1')
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   314
              backgroundColor: (Color 100.0 100.0 100.0)
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   315
              translateLabel: true
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   316
              adjust: left
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   317
            )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   318
           (LabelSpec
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   319
              label: 'Icon'
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   320
              name: 'JavaIcon'
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   321
              layout: (LayoutFrame -75 1 0 0 0 1 66 0)
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   322
              hasCharacterOrientedLabel: false
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   323
              backgroundColor: (Color 100.0 100.0 100.0)
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   324
              translateLabel: true
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   325
              labelChannel: libjavaCupIcon
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   326
            )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   327
           (VerticalPanelViewSpec
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   328
              name: 'Controls'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   329
              layout: (LayoutFrame 0 0 70 0 0 1 0 1)
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   330
              horizontalLayout: fit
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   331
              verticalLayout: topFit
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   332
              horizontalSpace: 3
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   333
              verticalSpace: 3
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   334
              component: 
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   335
             (SpecCollection
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   336
                collection: (
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   337
                 (FramedBoxSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   338
                    label: 'Basic Settings'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   339
                    name: 'JavaReleasePanel'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   340
                    labelPosition: topLeft
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   341
                    translateLabel: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   342
                    component: 
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   343
                   (SpecCollection
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   344
                      collection: (
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   345
                       (ComboListSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   346
                          name: 'ReleaseList'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   347
                          layout: (LayoutFrame 100 0 0 0 0 1 25 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   348
                          model: javaReleaseHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   349
                          comboList: javaReleaseList
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   350
                          useIndex: false
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   351
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   352
                       (LabelSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   353
                          label: 'Release:'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   354
                          name: 'ReleaseLabel'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   355
                          layout: (LayoutFrame 0 0 0 0 100 0 25 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   356
                          translateLabel: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   357
                          adjust: left
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   358
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   359
                       (LabelSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   360
                          label: 'JAVA_HOME'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   361
                          name: 'JAVA_HOME_Label'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   362
                          layout: (LayoutFrame 0 0 30 0 100 0 55 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   363
                          translateLabel: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   364
                          adjust: left
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   365
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   366
                       (FilenameInputFieldSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   367
                          name: 'JAVA_HOME'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   368
                          layout: (LayoutFrame 100 0 30 0 -55 1 55 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   369
                          enableChannel: javaReleaseIsCustomHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   370
                          model: javaHomeHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   371
                          acceptOnPointerLeave: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   372
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   373
                       (ActionButtonSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   374
                          label: 'Browse'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   375
                          name: 'JAVA_HOME_Browse'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   376
                          layout: (LayoutFrame -50 1 30 0 0 1 55 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   377
                          translateLabel: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   378
                          model: doBrowseJavaHome
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   379
                          enableChannel: javaReleaseIsCustomHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   380
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   381
                       )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   382
                     
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   383
                    )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   384
                    extent: (Point 695 95)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   385
                  )
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   386
                 (VariableVerticalPanelSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   387
                    name: 'VariableVerticalPanel1'
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   388
                    component: 
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   389
                   (SpecCollection
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   390
                      collection: (
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   391
                       (FramedBoxSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   392
                          label: 'Classpath'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   393
                          name: 'ClasspathPanel'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   394
                          labelPosition: topLeft
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   395
                          translateLabel: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   396
                          component: 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   397
                         (SpecCollection
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   398
                            collection: (
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   399
                             (SubCanvasSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   400
                                name: 'SubCanvas1'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   401
                                layout: (LayoutFrame 0 0 0 0 0 1 0 1)
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   402
                                level: 0
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   403
                                hasHorizontalScrollBar: false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   404
                                hasVerticalScrollBar: false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   405
                                majorKey: #'JavaSettingsApplication::PathEditor'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   406
                                minorKey: windowSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   407
                                subAspectHolders: 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   408
                               (Array
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   409
                                  
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   410
                                 (SubChannelInfoSpec
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   411
                                    subAspect: pathListEffectiveHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   412
                                    aspect: javaClassPathEffectiveAspect
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   413
                                  ) 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   414
                                 (SubChannelInfoSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   415
                                    subAspect: pathListHolder
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   416
                                    aspect: javaClassPathHolder
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   417
                                  )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   418
                                )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   419
                                createNewApplication: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   420
                                createNewBuilder: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   421
                              )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   422
                             )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   423
                           
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   424
                          )
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   425
                        )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   426
                       (FramedBoxSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   427
                          label: 'Sources'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   428
                          name: 'SourcePathPanel'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   429
                          labelPosition: topLeft
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   430
                          translateLabel: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   431
                          component: 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   432
                         (SpecCollection
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   433
                            collection: (
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   434
                             (SubCanvasSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   435
                                name: 'SubCanvas2'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   436
                                layout: (LayoutFrame 0 0 0 0 0 1 0 1)
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   437
                                level: 0
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   438
                                hasHorizontalScrollBar: false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   439
                                hasVerticalScrollBar: false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   440
                                majorKey: #'JavaSettingsApplication::PathEditor'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   441
                                minorKey: windowSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   442
                                subAspectHolders: 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   443
                               (Array
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   444
                                  
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   445
                                 (SubChannelInfoSpec
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   446
                                    subAspect: pathListEffectiveHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   447
                                    aspect: javaSourceDirectoriesEffectiveAspect
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   448
                                  ) 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   449
                                 (SubChannelInfoSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   450
                                    subAspect: pathListHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   451
                                    aspect: javaSourceDirectoriesHolder
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   452
                                  )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   453
                                )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   454
                                createNewApplication: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   455
                                createNewBuilder: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   456
                              )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   457
                             )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   458
                           
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   459
                          )
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   460
                        )
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   461
                       )
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   462
                     
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   463
                    )
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   464
                    extent: (Point 695 459)
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   465
                    handles: (Any 0.5 1.0)
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   466
                  )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   467
                 )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   468
               
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   469
              )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   470
            )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   471
           )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   472
         
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   473
        )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   474
      )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   475
! !
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   476
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   477
!JavaSettingsApplication methodsFor:'accessing-private'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   478
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   479
javaClassPathEffective
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   480
    | rel |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   481
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   482
    rel := self javaReleaseHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   483
    ^rel isNil ifTrue:[ 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   484
        #()
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   485
    ] ifFalse:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   486
        Java effectiveClassPathForRelease: rel 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   487
    ]
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   488
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   489
    "Created: / 30-07-2012 / 19:39:06 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   490
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   491
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   492
javaClassPathLiteralArray
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   493
    ^self javaClassPathHolder value asOrderedCollection literalArrayEncoding
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   494
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   495
    "Created: / 02-08-2012 / 10:04:39 / Jan Vrany <jan.vrany@fit.cvut.cz>"
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   496
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   497
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   498
javaSourceDirectoriesEffective
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   499
    | rel |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   500
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   501
    rel := self javaReleaseHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   502
    ^rel isNil ifTrue:[ 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   503
        #()
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   504
    ] ifFalse:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   505
        Java effectiveSourceDirectoriesForRelease: rel 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   506
    ]
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   507
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   508
    "Created: / 30-07-2012 / 19:39:13 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   509
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   510
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   511
javaSourcePathLiteralArray
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   512
    ^self javaSourceDirectoriesHolder value asOrderedCollection literalArrayEncoding
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   513
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   514
    "Created: / 02-08-2012 / 10:04:58 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   515
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   516
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   517
!JavaSettingsApplication methodsFor:'actions'!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   518
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   519
doBrowseJavaHome
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   520
    <resource: #uiCallback>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   521
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   522
    | java_home |
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   523
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   524
    java_home := Dialog requestDirectoryName:(resources string:'JAVA_HOME directory').
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   525
    java_home notEmptyOrNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   526
        self javaHomeHolder value: java_home
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   527
    ]
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   528
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   529
    "Modified: / 27-07-2012 / 00:20:04 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   530
! !
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   531
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   532
!JavaSettingsApplication methodsFor:'aspects'!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   533
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   534
javaClassPathEffectiveAspect
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   535
    "return/create the 'javaClassPathHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   536
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   537
    ^BlockValue with: [:rel | self javaClassPathEffective] argument: self javaReleaseHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   538
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   539
    "Created: / 30-07-2012 / 19:38:43 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   540
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   541
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   542
javaClassPathHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   543
    "return/create the 'javaClassPathHolder' value holder (automatically generated)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   544
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   545
    javaClassPathHolder isNil ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   546
        javaClassPathHolder := ValueHolder new.
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   547
        javaClassPathHolder addDependent:self.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   548
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   549
    ^ javaClassPathHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   550
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   551
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   552
javaClassPathHolder:something
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   553
    "set the 'javaClassPathHolder' value holder (automatically generated)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   554
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   555
    |oldValue newValue|
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   556
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   557
    javaClassPathHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   558
        oldValue := javaClassPathHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   559
        javaClassPathHolder removeDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   560
    ].
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   561
    javaClassPathHolder := something.
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   562
    javaClassPathHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   563
        javaClassPathHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   564
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   565
    newValue := javaClassPathHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   566
    oldValue ~~ newValue ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   567
        self update:#value with:newValue from:javaClassPathHolder.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   568
    ].
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   569
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   570
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   571
javaHomeHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   572
    <resource: #uiAspect>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   573
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   574
    javaHomeHolder isNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   575
        javaHomeHolder := AspectAdaptor forAspect: #javaHome.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   576
        javaHomeHolder subjectChannel: self javaReleaseHolder.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   577
        javaHomeHolder onChangeSend:#updateModifiedChannel to:self
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   578
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   579
    ^ javaHomeHolder.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   580
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   581
    "Created: / 27-07-2012 / 00:06:22 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   582
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   583
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   584
javaReleaseHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   585
    <resource: #uiAspect>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   586
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   587
    javaReleaseHolder isNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   588
        javaReleaseHolder := Java release asValue.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   589
        javaReleaseHolder onChangeSend:#updateModifiedChannel to:self.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   590
        javaReleaseHolder onChangeSend:#updatePaths to:self.
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   591
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   592
    ^ javaReleaseHolder.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   593
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   594
    "Modified: / 27-07-2012 / 18:30:33 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   595
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   596
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   597
javaReleaseIsCustomHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   598
    <resource: #uiAspect>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   599
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   600
    javaReleaseIsCustomHolder isNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   601
        javaReleaseIsCustomHolder := AspectAdaptor forAspect: #isCustom.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   602
        javaReleaseIsCustomHolder subjectChannel: self javaReleaseHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   603
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   604
    ^ javaReleaseIsCustomHolder.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   605
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   606
    "Created: / 27-07-2012 / 00:07:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   607
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   608
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   609
javaReleaseList
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   610
    <resource: #uiAspect>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   611
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   612
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   613
    javaReleaseList isNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   614
        javaReleaseList := JavaRelease all asList
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   615
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   616
    ^ javaReleaseList.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   617
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   618
    "Modified: / 27-07-2012 / 00:13:40 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   619
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   620
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   621
javaSourceDirectoriesEffectiveAspect
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   622
    "return/create the 'javaClassPathHolder' value holder (automatically generated)"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   623
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   624
    ^BlockValue with: [:rel | self javaSourceDirectoriesEffective] argument: self javaReleaseHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   625
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   626
    "Created: / 30-07-2012 / 19:39:57 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   627
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   628
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   629
javaSourceDirectoriesHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   630
    "return/create the 'javaSourceDirectoriesHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   631
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   632
    javaSourceDirectoriesHolder isNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   633
        javaSourceDirectoriesHolder := ValueHolder new.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   634
        javaSourceDirectoriesHolder addDependent:self.
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   635
    ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   636
    ^ javaSourceDirectoriesHolder
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   637
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   638
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   639
javaSourceDirectoriesHolder:something
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   640
    "set the 'javaSourceDirectoriesHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   641
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   642
    |oldValue newValue|
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   643
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   644
    javaSourceDirectoriesHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   645
        oldValue := javaSourceDirectoriesHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   646
        javaSourceDirectoriesHolder removeDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   647
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   648
    javaSourceDirectoriesHolder := something.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   649
    javaSourceDirectoriesHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   650
        javaSourceDirectoriesHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   651
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   652
    newValue := javaSourceDirectoriesHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   653
    oldValue ~~ newValue ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   654
        self update:#value with:newValue from:javaSourceDirectoriesHolder.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   655
    ].
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   656
! !
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   657
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   658
!JavaSettingsApplication methodsFor:'change & update'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   659
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   660
updatePaths
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   661
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   662
    self javaClassPathHolder value: (currentUserPrefs javaClassPathDecoded) asList.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   663
    self javaSourceDirectoriesHolder value: (currentUserPrefs javaSourcePathDecoded) asList.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   664
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   665
    "Created: / 27-07-2012 / 18:34:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   666
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   667
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   668
!JavaSettingsApplication methodsFor:'protocol'!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   669
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   670
basicReadSettings
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   671
    | rel |
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   672
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   673
    rel := currentUserPrefs javaRelease.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   674
    (rel isNil and:[Java notNil]) ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   675
        rel := Java release
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   676
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   677
    
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   678
    self javaReleaseHolder value: rel.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   679
    self updatePaths.
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   680
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   681
    "Modified: / 27-07-2012 / 18:47:38 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   682
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   683
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   684
basicSaveSettings
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   685
    self javaReleaseHolder value notNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   686
        currentUserPrefs javaReleaseSelector:  self javaReleaseHolder value selector.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   687
    ] ifFalse:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   688
        currentUserPrefs javaReleaseSelector: nil.
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   689
    ].
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   690
    currentUserPrefs javaClassPath: self javaClassPathLiteralArray.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   691
    currentUserPrefs javaSourcePath: self javaSourcePathLiteralArray.
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   692
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   693
    "Modified: / 02-08-2012 / 10:05:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   694
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   695
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   696
helpFilename
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   697
    "subclasses must return the relative name of a helpFile
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   698
     in the doc/online/<language>/help directory.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   699
     Or nil, if no help is available."
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   700
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   701
    ^ '../programming/java-settings.html'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   702
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   703
    "Modified: / 26-07-2012 / 23:05:37 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   704
! !
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   705
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   706
!JavaSettingsApplication methodsFor:'queries'!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   707
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   708
hasUnsavedChanges
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   709
    "superclass AbstractSettingsApplication says that I am responsible to implement this method"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   710
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   711
    | prefRel setRel |
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   712
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   713
    prefRel :=  currentUserPrefs javaRelease.  
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   714
    setRel := self javaReleaseHolder value.
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   715
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   716
    prefRel ~~ setRel ifTrue:[ ^ true ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   717
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   718
    (self 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   719
        hasUnsavedChangesInUserEntriesInPath: self javaClassPathHolder value 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   720
        comparedTo: currentUserPrefs javaClassPathDecoded)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   721
        ifTrue:[ ^true ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   722
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   723
    (self 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   724
        hasUnsavedChangesInUserEntriesInPath: self javaSourceDirectoriesHolder value 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   725
        comparedTo: currentUserPrefs javaSourcePathDecoded)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   726
        ifTrue:[ ^true ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   727
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   728
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   729
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   730
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   731
    ^false
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   732
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   733
    "Modified: / 30-07-2012 / 20:02:44 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   734
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   735
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   736
hasUnsavedChangesInUserEntriesInPath: currentPath comparedTo: originalPath
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   737
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   738
    currentPath size ~~ originalPath size ifTrue:[ ^ true ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   739
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   740
    currentPath with: originalPath do:[:current :original|
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   741
        current ~= original ifTrue:[ ^ true ]
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   742
    ].
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   743
    ^false
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   744
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   745
    "Created: / 30-07-2012 / 18:40:32 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   746
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   747
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   748
!JavaSettingsApplication::PathEditor class methodsFor:'interface specs'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   749
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   750
windowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   751
    "This resource specification was automatically generated
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   752
     by the UIPainter of ST/X."
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   753
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   754
    "Do not manually edit this!! If it is corrupted,
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   755
     the UIPainter may not be able to read the specification."
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   756
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   757
    "
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   758
     UIPainter new openOnClass:JavaSettingsApplication::PathEditor andSelector:#windowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   759
     JavaSettingsApplication::PathEditor new openInterface:#windowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   760
     JavaSettingsApplication::PathEditor open
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   761
    "
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   762
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   763
    <resource: #canvas>
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   764
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   765
    ^ 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   766
     #(FullSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   767
        name: windowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   768
        window: 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   769
       (WindowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   770
          label: 'NewApplication'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   771
          name: 'NewApplication'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   772
          bounds: (Rectangle 0 0 300 300)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   773
        )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   774
        component: 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   775
       (SpecCollection
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   776
          collection: (
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   777
           (HierarchicalListViewSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   778
              name: 'PathList'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   779
              layout: (LayoutFrame 0 0 0 0 -82 1 0 1)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   780
              model: selectionHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   781
              hasHorizontalScrollBar: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   782
              hasVerticalScrollBar: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   783
              listModel: treeList
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   784
              useIndex: false
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   785
              highlightMode: line
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   786
              useDefaultIcons: false
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   787
              postBuildCallback: postBuildTreeView:
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   788
            )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   789
           (VerticalPanelViewSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   790
              name: 'Buttons1'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   791
              layout: (LayoutFrame -80 1 0 0 0 1 -22 1)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   792
              horizontalLayout: fit
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   793
              verticalLayout: top
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   794
              horizontalSpace: 5
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   795
              verticalSpace: 3
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   796
              component: 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   797
             (SpecCollection
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   798
                collection: (
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   799
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   800
                    label: 'Add...'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   801
                    name: 'ButtonAdd'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   802
                    activeHelpKey: addPathElement
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   803
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   804
                    model: actionAdd
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   805
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   806
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   807
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   808
                    label: 'Edit...'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   809
                    name: 'ButtonEdit'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   810
                    activeHelpKey: editPathElement
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   811
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   812
                    model: actionEdit
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   813
                    enableChannel: canEditHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   814
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   815
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   816
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   817
                    label: 'Move Up'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   818
                    name: 'ButtonModeUp'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   819
                    activeHelpKey: modePathElementUp
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   820
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   821
                    model: actionMoveUp
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   822
                    enableChannel: canMoveUpHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   823
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   824
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   825
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   826
                    label: 'Move Down'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   827
                    name: 'ButtonModeDown'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   828
                    activeHelpKey: modePathElementDown
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   829
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   830
                    model: actionMoveDown
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   831
                    enableChannel: canMoveDownHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   832
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   833
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   834
                 (LabelSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   835
                    name: 'SpacingLabel'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   836
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   837
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   838
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   839
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   840
                    label: 'Remove'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   841
                    name: 'ButtonRemove'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   842
                    activeHelpKey: removePathElement
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   843
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   844
                    model: actionRemove
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   845
                    enableChannel: canEditHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   846
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   847
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   848
                 )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   849
               
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   850
              )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   851
            )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   852
           )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   853
         
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   854
        )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   855
      )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   856
! !
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   857
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   858
!JavaSettingsApplication::PathEditor class methodsFor:'plugIn spec'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   859
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   860
aspectSelectors
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   861
    "This resource specification was automatically generated
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   862
     by the UIPainter of ST/X."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   863
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   864
    "Do not manually edit this. If it is corrupted,
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   865
     the UIPainter may not be able to read the specification."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   866
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   867
    "Return a description of exported aspects;
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   868
     these can be connected to aspects of an embedding application
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   869
     (if this app is embedded in a subCanvas)."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   870
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   871
    ^ #(
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   872
        #pathListEffectiveHolder
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   873
        #pathListHolder
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   874
        #selectionHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   875
      ).
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   876
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   877
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   878
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   879
!JavaSettingsApplication::PathEditor methodsFor:'actions'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   880
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   881
actionAdd
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   882
    <resource: #uiCallback>
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   883
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   884
    | path |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   885
    path := Dialog requestFileName: (resources string: 'Select directory or .jar file').
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   886
    path isEmptyOrNil ifTrue:[ ^ self ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   887
    self path add: (JavaPathElement newFromUser: path).
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   888
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   889
    "Modified: / 30-07-2012 / 18:37:32 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   890
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   891
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   892
actionEdit
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   893
    <resource: #uiCallback>
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   894
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   895
    "automatically generated by UIPainter..."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   896
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   897
    "*** the code below performs no action"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   898
    "*** (except for some feedback on the Transcript)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   899
    "*** Please change as required and accept in the browser."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   900
    "*** (and replace this comment by something more useful ;-)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   901
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   902
    "action to be defined here..."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   903
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   904
    Transcript showCR:self class name, ': action for actionEdit ...'.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   905
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   906
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   907
actionMoveDown
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   908
    | sel |
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   909
    sel := self selectionHolder value.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   910
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   911
    "Modified: / 02-08-2012 / 16:16:14 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   912
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   913
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   914
actionMoveUp
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   915
    <resource: #uiCallback>
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   916
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   917
    "automatically generated by UIPainter..."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   918
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   919
    "*** the code below performs no action"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   920
    "*** (except for some feedback on the Transcript)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   921
    "*** Please change as required and accept in the browser."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   922
    "*** (and replace this comment by something more useful ;-)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   923
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   924
    "action to be defined here..."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   925
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   926
    Transcript showCR:self class name, ': action for actionMoveUp ...'.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   927
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   928
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   929
actionRemove
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   930
    | sel |
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   931
    sel := self selectionHolder value.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   932
    self selectionHolder value: nil.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   933
    sel isNil ifTrue:[ ^ self ].
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   934
    self path remove: sel element.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   935
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   936
    "Modified: / 02-08-2012 / 09:58:06 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   937
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   938
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   939
!JavaSettingsApplication::PathEditor methodsFor:'aspects'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   940
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   941
path
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   942
    ^self pathList value
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   943
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   944
    "Created: / 30-07-2012 / 18:35:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   945
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   946
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   947
pathList
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   948
    "return/create the 'pathList' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   949
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   950
    pathList isNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   951
        pathList := ValueHolder new.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   952
        pathList addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   953
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   954
    ^ pathList
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   955
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   956
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   957
pathList:something
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   958
    "set the 'pathList' value holder (automatically generated)"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   959
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   960
    |oldValue newValue|
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   961
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   962
    self assert: (something isNil or:[something isList]).
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   963
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   964
    pathList notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   965
        oldValue := pathList value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   966
        pathList removeDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   967
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   968
    pathList := something.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   969
    pathList notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   970
        pathList addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   971
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   972
    newValue := pathList value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   973
    oldValue ~~ newValue ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   974
        self update:#value with:newValue from:pathList.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   975
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   976
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   977
    "Modified: / 30-07-2012 / 18:39:25 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   978
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   979
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   980
pathListEffectiveHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   981
    "return/create the 'pathListEffectiveHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   982
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   983
    pathListEffectiveHolder isNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   984
        pathListEffectiveHolder := ValueHolder new.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   985
        pathListEffectiveHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   986
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   987
    ^ pathListEffectiveHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   988
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   989
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   990
pathListEffectiveHolder:something
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   991
    "set the 'pathListEffectiveHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   992
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   993
    |oldValue newValue|
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   994
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   995
    pathListEffectiveHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   996
        oldValue := pathListEffectiveHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   997
        pathListEffectiveHolder removeDependent:self.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   998
    ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   999
    pathListEffectiveHolder := something.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1000
    pathListEffectiveHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1001
        pathListEffectiveHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1002
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1003
    newValue := pathListEffectiveHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1004
    oldValue ~~ newValue ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1005
        self update:#value with:newValue from:pathListEffectiveHolder.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1006
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1007
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1008
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1009
pathListHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1010
    "return/create the 'pathListHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1011
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1012
    pathListHolder isNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1013
        pathListHolder := ValueHolder new.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1014
        pathListHolder addDependent:self.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1015
    ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1016
    ^ pathListHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1017
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1018
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1019
pathListHolder:something
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1020
    "set the 'pathListHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1021
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1022
    |oldValue newValue|
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1023
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1024
    pathListHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1025
        oldValue := pathListHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1026
        pathListHolder removeDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1027
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1028
    pathListHolder := something.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1029
    pathListHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1030
        pathListHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1031
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1032
    newValue := pathListHolder value.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1033
    oldValue ~~ newValue ifTrue:[
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1034
        self update:#value with:newValue from:pathListHolder.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1035
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1036
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1037
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1038
selectionHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1039
    "return/create the 'selectionHolder' value holder (automatically generated)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1040
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1041
    selectionHolder isNil ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1042
        selectionHolder := ValueHolder new.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1043
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1044
    ^ selectionHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1045
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1046
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1047
selectionHolder:something
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1048
    "set the 'selectionHolder' value holder (automatically generated)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1049
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1050
    selectionHolder := something.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1051
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1052
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1053
treeList
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1054
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1055
    treeList isNil ifTrue:[
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1056
        treeList := PathElementList new.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1057
        treeList application: self.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1058
        treeList showRoot: false.
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1059
        treeList buildTree
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1060
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1061
    ^treeList
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1062
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1063
    "Created: / 27-07-2012 / 18:36:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1064
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1065
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1066
!JavaSettingsApplication::PathEditor methodsFor:'aspects-queries'!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1067
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1068
canEditHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1069
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1070
    ^BlockValue 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1071
        with:[:sel|
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1072
            sel notNil 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1073
                and:[sel isPathElementItem
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1074
                    and:[sel origin == JavaPathElement originUser]].
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1075
        ] argument: self selectionHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1076
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1077
    "Created: / 02-08-2012 / 16:08:39 / Jan Vrany <jan.vrany@fit.cvut.cz>"
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1078
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1079
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1080
canMoveDownHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1081
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1082
    ^BlockValue 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1083
        with:[:sel|
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1084
            sel notNil 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1085
                and:[sel isPathElementItem
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1086
                    and:[sel origin == JavaPathElement originUser
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1087
                        and:[sel parent children last ~~ sel]]]
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1088
        ] argument: self selectionHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1089
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1090
    "Created: / 02-08-2012 / 16:12:54 / Jan Vrany <jan.vrany@fit.cvut.cz>"
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1091
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1092
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1093
canMoveUpHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1094
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1095
    ^BlockValue 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1096
        with:[:sel|
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1097
            sel notNil 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1098
                and:[sel isPathElementItem
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1099
                    and:[sel origin == JavaPathElement originUser
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1100
                        and:[sel parent children first ~~ sel]]]
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1101
        ] argument: self selectionHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1102
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1103
    "Created: / 02-08-2012 / 16:13:01 / Jan Vrany <jan.vrany@fit.cvut.cz>"
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1104
! !
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1105
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1106
!JavaSettingsApplication::PathEditor methodsFor:'change & update'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1107
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1108
update:something with:aParameter from:changedObject
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1109
    "Invoked when an object that I depend upon sends a change notification."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1110
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1111
    "stub code automatically generated - please change as required"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1112
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1113
    changedObject == pathListHolder ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1114
        self pathList: pathListHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1115
        self treeList buildTree.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1116
        ^self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1117
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1118
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1119
    changedObject == pathList ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1120
        self updateModifiedChannel.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1121
        something == #insert: ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1122
            self treeList updateAfterInsertAt: aParameter.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1123
            ^self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1124
        ].
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1125
        something == #removeFrom: ifTrue:[
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1126
            self treeList updateAfterRemoveFrom: aParameter first to: aParameter second.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1127
            ^self.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1128
        ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1129
        something == #value ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1130
            self updateTree.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1131
            ^self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1132
        ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1133
        self breakPoint: #jv.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1134
        self updateTree.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1135
         ^ self.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1136
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1137
    super update:something with:aParameter from:changedObject
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1138
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1139
    "Modified: / 02-08-2012 / 09:55:37 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1140
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1141
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1142
updateModifiedChannel
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1143
    masterApplication notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1144
        masterApplication perform: #updateModifiedChannel ifNotUnderstood:[].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1145
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1146
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1147
    "Created: / 30-07-2012 / 20:11:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1148
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1149
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1150
updateTree
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1151
    self treeList buildTree
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1152
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1153
    "Created: / 27-07-2012 / 18:16:35 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1154
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1155
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1156
!JavaSettingsApplication::PathEditor methodsFor:'event processing'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1157
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1158
buttonPress:button x:x y:y view:aView
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1159
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1160
    | itemIndex item |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1161
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1162
    button ~= 1 ifTrue:[^aView buttonPress:button x:x y:y].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1163
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1164
    itemIndex := aView yVisibleToLineNr:y.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1165
    itemIndex isNil ifTrue:[^self].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1166
    itemIndex == 0 ifTrue:[^self].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1167
    itemIndex > aView list size ifTrue:[^self].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1168
    item := aView list at: itemIndex.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1169
    item isPathElementCategoryItem ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1170
        ^aView buttonPress:button x:x y:y
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1171
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1172
    ((aView left + x) between: ((item x ? 0) - 16) and: (item x ? 0)) ifFalse:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1173
        ^aView buttonPress:button x:x y:y
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1174
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1175
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1176
    item enabled: item enabled not.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1177
    self updateModifiedChannel.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1178
    aView invalidate
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1179
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1180
    "Created: / 08-12-2009 / 14:12:38 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1181
    "Modified: / 18-11-2011 / 14:55:41 / cg"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1182
    "Modified: / 30-07-2012 / 20:11:36 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1183
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1184
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1185
handlesButtonPress:button inView:aView
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1186
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1187
    ^treeView scrolledView == aView
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1188
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1189
    "Created: / 08-12-2009 / 14:08:49 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1190
! !
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1191
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1192
!JavaSettingsApplication::PathEditor methodsFor:'hooks'!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1193
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1194
postBuildTreeView: aView
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1195
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1196
    treeView := aView.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1197
    treeView scrolledView delegate: self.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1198
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1199
    "Created: / 29-11-2011 / 14:56:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1200
! !
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1201
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1202
!JavaSettingsApplication::PathEditor::PathElementList methodsFor:'accessing'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1203
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1204
allElements
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1205
    ^self application pathListEffectiveHolder value
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1206
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1207
    "Created: / 30-07-2012 / 19:42:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1208
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1209
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1210
userElements
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1211
    ^self application pathList
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1212
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1213
    "Created: / 30-07-2012 / 19:42:02 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1214
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1215
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1216
!JavaSettingsApplication::PathEditor::PathElementList methodsFor:'building'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1217
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1218
buildTree
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1219
    | rt |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1220
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1221
    rt := Category new
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1222
        addIfNotNil: (self buildCategory: JavaPathElement originRelease);
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1223
        addIfNotNil: (self buildCategory: JavaPathElement originPackage);
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1224
        addIfNotNil: (self buildCategory: JavaPathElement originEnvironment);
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1225
        addIfNotNil: (userCategory := self buildCategory: JavaPathElement originUser);
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1226
        yourself.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1227
    userCategory expand.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1228
    self root: rt.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1229
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1230
    "Created: / 30-07-2012 / 19:00:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1231
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1232
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1233
!JavaSettingsApplication::PathEditor::PathElementList methodsFor:'building-private'!
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1234
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1235
buildCategory: origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1236
    | cat elements |
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1237
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1238
    elements := self elementsForOrigin: origin.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1239
    (elements isEmptyOrNil and:[origin ~~ JavaPathElement originUser]) ifTrue:[ ^ nil ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1240
    cat := Category new origin: origin.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1241
    cat children: (elements collect:[:e| (self buildElement: e) parent: cat]).
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1242
    ^cat
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1243
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1244
    "Created: / 27-07-2012 / 18:26:05 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1245
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1246
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1247
buildElement: element
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1248
    ^Item new element: element.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1249
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1250
    "Created: / 27-07-2012 / 18:46:27 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1251
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1252
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1253
elementsForOrigin: origin
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1254
    ^origin == JavaPathElement originUser ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1255
        self userElements
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1256
    ] ifFalse:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1257
        self allElements select:[:e|e origin = origin]
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1258
    ].
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1259
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1260
    "Created: / 30-07-2012 / 19:42:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1261
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1262
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1263
!JavaSettingsApplication::PathEditor::PathElementList methodsFor:'change & update'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1264
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1265
updateAfterInsertAt: index
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1266
    | el item |
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1267
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1268
    el := self userElements at: index.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1269
    self assert: el origin = JavaPathElement originUser.
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1270
    userCategory add: (item := self buildElement: el) beforeIndex: index.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1271
    item parent expand.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1272
    self application selectionHolder value: item.
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1273
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1274
    "Created: / 30-07-2012 / 19:46:39 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1275
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1276
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1277
updateAfterRemoveFrom: start to: stop
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1278
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1279
    userCategory removeFromIndex:start toIndex: stop
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1280
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1281
    "Created: / 02-08-2012 / 09:56:37 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1282
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1283
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1284
!JavaSettingsApplication::PathEditor::PathElementList::Category methodsFor:'accessing'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1285
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1286
element
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1287
    ^nil
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1288
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1289
    "Created: / 30-07-2012 / 19:15:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1290
!
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1291
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1292
label
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1293
    label isNil ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1294
        label := self originAsHumanReadableString asText allBold.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1295
        origin ~~ JavaPathElement originUser ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1296
            label colorizeAllWith: Color gray
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1297
        ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1298
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1299
    ^label
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1300
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1301
    "Created: / 27-07-2012 / 18:21:36 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1302
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1303
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1304
origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1305
    ^ origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1306
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1307
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1308
origin:originId
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1309
    origin := originId.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1310
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1311
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1312
originAsHumanReadableString
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1313
    origin isNil ifTrue:[^self application resources string: 'Path'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1314
    origin == JavaPathElement originRelease ifTrue:[^self application resources string: 'Java Runtime'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1315
    origin == JavaPathElement originEnvironment ifTrue:[^self application resources string: 'System Environment'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1316
    origin == JavaPathElement originPackage ifTrue:[^self application resources string: 'Package Defined'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1317
    origin == JavaPathElement originUser ifTrue:[^self application resources string: 'User Defined'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1318
    self error:'Invalid origin'
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1319
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1320
    "Created: / 27-07-2012 / 18:39:05 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1321
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1322
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1323
!JavaSettingsApplication::PathEditor::PathElementList::Category methodsFor:'adding & removing'!
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1324
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1325
addIfNotNil: childOrNil
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1326
    childOrNil notNil ifTrue:[self add: childOrNil]
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1327
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1328
    "Created: / 27-07-2012 / 18:51:26 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1329
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1330
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1331
!JavaSettingsApplication::PathEditor::PathElementList::Category methodsFor:'testing'!
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1332
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1333
isPathElementCategoryItem
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1334
    ^true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1335
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1336
    "Created: / 30-07-2012 / 14:28:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1337
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1338
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1339
isPathElementItem
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1340
    ^false
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1341
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1342
    "Created: / 30-07-2012 / 14:28:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1343
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1344
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1345
!JavaSettingsApplication::PathEditor::PathElementList::Item methodsFor:'accessing'!
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1346
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1347
element
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1348
    ^ element
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1349
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1350
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1351
element:something
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1352
    element := something.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1353
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1354
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1355
enabled
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1356
    ^element enabled
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1357
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1358
    "Created: / 30-07-2012 / 14:26:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1359
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1360
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1361
enabled: aBoolean
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1362
    element enabled: aBoolean
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1363
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1364
    "Created: / 30-07-2012 / 14:26:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1365
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1366
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1367
icon
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1368
    ^element enabled ifTrue:[
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1369
         MenuPanel iconIndicationOn
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1370
    ] ifFalse:[
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1371
         MenuPanel iconIndicationOff
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1372
    ].
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1373
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1374
    "Created: / 30-07-2012 / 14:11:41 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1375
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1376
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1377
label
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1378
    | label |
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1379
    label := element pathName asText.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1380
    self origin ~~ JavaPathElement originUser ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1381
            label colorizeAllWith: Color gray
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1382
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1383
    ^label
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1384
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1385
    "Created: / 27-07-2012 / 18:42:12 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1386
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1387
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1388
origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1389
    ^element origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1390
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1391
    "Created: / 27-07-2012 / 18:41:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1392
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1393
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1394
x
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1395
    ^ x
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
  1396
! !
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
  1397
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1398
!JavaSettingsApplication::PathEditor::PathElementList::Item methodsFor:'displaying'!
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1399
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1400
__displayLabel:aLabel h:lH on:aGC x:newX y:y h:h 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1401
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1402
    | l w |
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1403
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1404
    l := self label.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1405
    x := newX.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1406
    [
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1407
        w := l widthOn: aGC.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1408
        w > (aGC width - x)
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1409
    ] whileTrue:[
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1410
        l := '...' , (l copyFrom: 9).
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1411
    ].
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1412
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1413
    super displayLabel:l h:h on:aGC x:newX y:y h:h.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1414
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1415
    "Created: / 30-07-2012 / 14:18:21 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1416
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1417
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1418
displayLabel:aLabel h:lH on:aGC x:newX y:y h:h 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1419
    x := newX.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1420
    super displayLabel:aLabel h:lH on:aGC x:newX y:y h:h.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1421
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1422
    "Created: / 30-07-2012 / 14:23:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1423
! !
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1424
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1425
!JavaSettingsApplication::PathEditor::PathElementList::Item methodsFor:'testing'!
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1426
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1427
isPathElementCategoryItem
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1428
    ^false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1429
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1430
    "Created: / 30-07-2012 / 14:28:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1431
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1432
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1433
isPathElementItem
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1434
    ^true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1435
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1436
    "Created: / 30-07-2012 / 14:28:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1437
! !
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1438
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1439
!JavaSettingsApplication class methodsFor:'documentation'!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1440
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1441
version_SVN
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1442
    ^ '$Id::                                                                                                                        $'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1443
! !
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1444
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1445
JavaSettingsApplication initialize!