src/tools/JavaSettingsApplication.st
author vranyj1
Fri, 10 Aug 2012 17:33:42 +0000
branchjk_new_structure
changeset 1590 b977644c9b69
parent 1586 45694b771d99
child 1592 bb8a44ebac3c
permissions -rw-r--r--
- JavaSettingsApplication class definition added: #infoPanel changed: #hasUnsavedChanges #windowSpec - extensions ...
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
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
     6
		javaSourceDirectoriesHolder infoPanel'
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
            )
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   327
           (SubCanvasSpec
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   328
              name: 'InfoPanel'
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   329
              layout: (LayoutFrame 0 0 67 0 0 1 107 0)
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   330
              level: 0
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   331
              initiallyInvisible: true
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   332
              hasHorizontalScrollBar: false
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   333
              hasVerticalScrollBar: false
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   334
              clientKey: infoPanel
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   335
              createNewBuilder: false
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   336
            )
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   337
           (VerticalPanelViewSpec
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   338
              name: 'Controls'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   339
              layout: (LayoutFrame 0 0 70 0 0 1 0 1)
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   340
              horizontalLayout: fit
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   341
              verticalLayout: topFit
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   342
              horizontalSpace: 3
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   343
              verticalSpace: 3
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   344
              component: 
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   345
             (SpecCollection
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   346
                collection: (
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   347
                 (FramedBoxSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   348
                    label: 'Basic Settings'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   349
                    name: 'JavaReleasePanel'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   350
                    labelPosition: topLeft
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   351
                    translateLabel: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   352
                    component: 
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   353
                   (SpecCollection
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   354
                      collection: (
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   355
                       (ComboListSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   356
                          name: 'ReleaseList'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   357
                          layout: (LayoutFrame 100 0 0 0 0 1 25 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   358
                          model: javaReleaseHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   359
                          comboList: javaReleaseList
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   360
                          useIndex: false
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   361
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   362
                       (LabelSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   363
                          label: 'Release:'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   364
                          name: 'ReleaseLabel'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   365
                          layout: (LayoutFrame 0 0 0 0 100 0 25 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   366
                          translateLabel: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   367
                          adjust: left
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   368
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   369
                       (LabelSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   370
                          label: 'JAVA_HOME'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   371
                          name: 'JAVA_HOME_Label'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   372
                          layout: (LayoutFrame 0 0 30 0 100 0 55 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   373
                          translateLabel: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   374
                          adjust: left
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   375
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   376
                       (FilenameInputFieldSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   377
                          name: 'JAVA_HOME'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   378
                          layout: (LayoutFrame 100 0 30 0 -55 1 55 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   379
                          enableChannel: javaReleaseIsCustomHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   380
                          model: javaHomeHolder
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   381
                          immediateAccept: true
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   382
                          acceptOnPointerLeave: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   383
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   384
                       (ActionButtonSpec
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   385
                          label: 'Browse'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   386
                          name: 'JAVA_HOME_Browse'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   387
                          layout: (LayoutFrame -50 1 30 0 0 1 55 0)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   388
                          translateLabel: true
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   389
                          model: doBrowseJavaHome
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   390
                          enableChannel: javaReleaseIsCustomHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   391
                        )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   392
                       )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   393
                     
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   394
                    )
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   395
                    extent: (Point 695 95)
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   396
                  )
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   397
                 (VariableVerticalPanelSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   398
                    name: 'VariableVerticalPanel1'
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   399
                    component: 
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   400
                   (SpecCollection
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   401
                      collection: (
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   402
                       (FramedBoxSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   403
                          label: 'Classpath'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   404
                          name: 'ClasspathPanel'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   405
                          labelPosition: topLeft
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   406
                          translateLabel: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   407
                          component: 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   408
                         (SpecCollection
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   409
                            collection: (
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   410
                             (SubCanvasSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   411
                                name: 'SubCanvas1'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   412
                                layout: (LayoutFrame 0 0 0 0 0 1 0 1)
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   413
                                level: 0
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   414
                                hasHorizontalScrollBar: false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   415
                                hasVerticalScrollBar: false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   416
                                majorKey: #'JavaSettingsApplication::PathEditor'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   417
                                minorKey: windowSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   418
                                subAspectHolders: 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   419
                               (Array
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   420
                                  
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   421
                                 (SubChannelInfoSpec
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   422
                                    subAspect: pathListEffectiveHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   423
                                    aspect: javaClassPathEffectiveAspect
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   424
                                  ) 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   425
                                 (SubChannelInfoSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   426
                                    subAspect: pathListHolder
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   427
                                    aspect: javaClassPathHolder
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   428
                                  )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   429
                                )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   430
                                createNewApplication: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   431
                                createNewBuilder: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   432
                              )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   433
                             )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   434
                           
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   435
                          )
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   436
                        )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   437
                       (FramedBoxSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   438
                          label: 'Sources'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   439
                          name: 'SourcePathPanel'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   440
                          labelPosition: topLeft
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   441
                          translateLabel: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   442
                          component: 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   443
                         (SpecCollection
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   444
                            collection: (
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   445
                             (SubCanvasSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   446
                                name: 'SubCanvas2'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   447
                                layout: (LayoutFrame 0 0 0 0 0 1 0 1)
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   448
                                level: 0
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   449
                                hasHorizontalScrollBar: false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   450
                                hasVerticalScrollBar: false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   451
                                majorKey: #'JavaSettingsApplication::PathEditor'
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   452
                                minorKey: windowSpec
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   453
                                subAspectHolders: 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   454
                               (Array
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   455
                                  
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   456
                                 (SubChannelInfoSpec
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   457
                                    subAspect: pathListEffectiveHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   458
                                    aspect: javaSourceDirectoriesEffectiveAspect
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   459
                                  ) 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   460
                                 (SubChannelInfoSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   461
                                    subAspect: pathListHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   462
                                    aspect: javaSourceDirectoriesHolder
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   463
                                  )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   464
                                )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   465
                                createNewApplication: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   466
                                createNewBuilder: true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   467
                              )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   468
                             )
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   469
                           
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   470
                          )
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   471
                        )
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   472
                       )
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   473
                     
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   474
                    )
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   475
                    extent: (Point 695 459)
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   476
                    handles: (Any 0.5 1.0)
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   477
                  )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   478
                 )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   479
               
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   480
              )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   481
            )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   482
           )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   483
         
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   484
        )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   485
      )
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   486
! !
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
   487
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   488
!JavaSettingsApplication methodsFor:'accessing-private'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   489
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   490
javaClassPathEffective
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   491
    | rel |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   492
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   493
    rel := self javaReleaseHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   494
    ^rel isNil ifTrue:[ 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   495
        #()
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   496
    ] ifFalse:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   497
        Java effectiveClassPathForRelease: rel 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   498
    ]
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   499
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   500
    "Created: / 30-07-2012 / 19:39:06 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   501
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   502
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   503
javaClassPathLiteralArray
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   504
    ^self javaClassPathHolder value asOrderedCollection literalArrayEncoding
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   505
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   506
    "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
   507
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   508
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   509
javaSourceDirectoriesEffective
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   510
    | rel |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   511
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   512
    rel := self javaReleaseHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   513
    ^rel isNil ifTrue:[ 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   514
        #()
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   515
    ] ifFalse:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   516
        Java effectiveSourceDirectoriesForRelease: rel 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   517
    ]
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   518
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   519
    "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
   520
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   521
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   522
javaSourcePathLiteralArray
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   523
    ^self javaSourceDirectoriesHolder value asOrderedCollection literalArrayEncoding
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   524
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   525
    "Created: / 02-08-2012 / 10:04:58 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   526
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   527
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   528
!JavaSettingsApplication methodsFor:'actions'!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   529
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   530
doBrowseJavaHome
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   531
    <resource: #uiCallback>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   532
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   533
    | java_home |
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   534
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   535
    java_home := Dialog requestDirectoryName:(resources string:'JAVA_HOME directory').
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   536
    java_home notEmptyOrNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   537
        self javaHomeHolder value: java_home
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   538
    ]
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   539
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   540
    "Modified: / 27-07-2012 / 00:20:04 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   541
! !
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   542
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   543
!JavaSettingsApplication methodsFor:'aspects'!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   544
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   545
infoPanel
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   546
    infoPanel isNil ifTrue:[
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   547
        infoPanel := Tools::InlineMessageDialog new.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   548
    ].
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   549
    ^ infoPanel
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   550
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   551
    "Created: / 09-02-2012 / 19:23:51 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   552
!
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   553
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   554
javaClassPathEffectiveAspect
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   555
    "return/create the 'javaClassPathHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   556
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   557
    ^BlockValue with: [:rel | self javaClassPathEffective] argument: self javaReleaseHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   558
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   559
    "Created: / 30-07-2012 / 19:38:43 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   560
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   561
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   562
javaClassPathHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   563
    "return/create the 'javaClassPathHolder' value holder (automatically generated)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   564
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   565
    javaClassPathHolder isNil ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   566
        javaClassPathHolder := ValueHolder new.
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   567
        javaClassPathHolder addDependent:self.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   568
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   569
    ^ javaClassPathHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   570
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   571
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   572
javaClassPathHolder:something
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   573
    "set the 'javaClassPathHolder' value holder (automatically generated)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   574
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   575
    |oldValue newValue|
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   576
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   577
    javaClassPathHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   578
        oldValue := javaClassPathHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   579
        javaClassPathHolder removeDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   580
    ].
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   581
    javaClassPathHolder := something.
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   582
    javaClassPathHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   583
        javaClassPathHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   584
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   585
    newValue := javaClassPathHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   586
    oldValue ~~ newValue ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   587
        self update:#value with:newValue from:javaClassPathHolder.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   588
    ].
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   589
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   590
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   591
javaHomeHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   592
    <resource: #uiAspect>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   593
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   594
    javaHomeHolder isNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   595
        javaHomeHolder := AspectAdaptor forAspect: #javaHome.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   596
        javaHomeHolder subjectChannel: self javaReleaseHolder.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   597
        javaHomeHolder onChangeSend:#updateModifiedChannel to:self
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   598
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   599
    ^ javaHomeHolder.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   600
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   601
    "Created: / 27-07-2012 / 00:06:22 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   602
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   603
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   604
javaReleaseHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   605
    <resource: #uiAspect>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   606
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   607
    javaReleaseHolder isNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   608
        javaReleaseHolder := Java release asValue.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   609
        javaReleaseHolder onChangeSend:#updateModifiedChannel to:self.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   610
        javaReleaseHolder onChangeSend:#updatePaths to:self.
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   611
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   612
    ^ javaReleaseHolder.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   613
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   614
    "Modified: / 27-07-2012 / 18:30:33 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   615
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   616
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   617
javaReleaseIsCustomHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   618
    <resource: #uiAspect>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   619
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   620
    javaReleaseIsCustomHolder isNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   621
        javaReleaseIsCustomHolder := AspectAdaptor forAspect: #isCustom.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   622
        javaReleaseIsCustomHolder subjectChannel: self javaReleaseHolder
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   623
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   624
    ^ javaReleaseIsCustomHolder.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   625
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   626
    "Created: / 27-07-2012 / 00:07:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   627
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   628
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   629
javaReleaseList
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   630
    <resource: #uiAspect>
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   631
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   632
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   633
    javaReleaseList isNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   634
        javaReleaseList := JavaRelease all asList
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   635
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   636
    ^ javaReleaseList.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   637
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   638
    "Modified: / 27-07-2012 / 00:13:40 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   639
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   640
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   641
javaSourceDirectoriesEffectiveAspect
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   642
    "return/create the 'javaClassPathHolder' value holder (automatically generated)"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   643
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   644
    ^BlockValue with: [:rel | self javaSourceDirectoriesEffective] argument: self javaReleaseHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   645
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   646
    "Created: / 30-07-2012 / 19:39:57 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   647
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   648
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   649
javaSourceDirectoriesHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   650
    "return/create the 'javaSourceDirectoriesHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   651
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   652
    javaSourceDirectoriesHolder isNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   653
        javaSourceDirectoriesHolder := ValueHolder new.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   654
        javaSourceDirectoriesHolder addDependent:self.
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   655
    ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   656
    ^ javaSourceDirectoriesHolder
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   657
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   658
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   659
javaSourceDirectoriesHolder:something
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   660
    "set the 'javaSourceDirectoriesHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   661
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   662
    |oldValue newValue|
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
   663
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   664
    javaSourceDirectoriesHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   665
        oldValue := javaSourceDirectoriesHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   666
        javaSourceDirectoriesHolder removeDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   667
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   668
    javaSourceDirectoriesHolder := something.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   669
    javaSourceDirectoriesHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   670
        javaSourceDirectoriesHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   671
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   672
    newValue := javaSourceDirectoriesHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   673
    oldValue ~~ newValue ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   674
        self update:#value with:newValue from:javaSourceDirectoriesHolder.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   675
    ].
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   676
! !
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   677
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   678
!JavaSettingsApplication methodsFor:'change & update'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   679
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   680
updatePaths
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   681
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   682
    self javaClassPathHolder value: (currentUserPrefs javaClassPathDecoded) asList.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   683
    self javaSourceDirectoriesHolder value: (currentUserPrefs javaSourcePathDecoded) asList.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   684
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   685
    "Created: / 27-07-2012 / 18:34:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   686
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   687
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   688
!JavaSettingsApplication methodsFor:'protocol'!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   689
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   690
basicReadSettings
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   691
    | rel |
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   692
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   693
    rel := currentUserPrefs javaRelease.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   694
    (rel isNil and:[Java notNil]) ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   695
        rel := Java release
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   696
    ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   697
    
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   698
    self javaReleaseHolder value: rel.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   699
    self updatePaths.
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   700
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   701
    "Modified: / 27-07-2012 / 18:47:38 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   702
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   703
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   704
basicSaveSettings
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   705
    self javaReleaseHolder value notNil ifTrue:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   706
        currentUserPrefs javaReleaseSelector:  self javaReleaseHolder value selector.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   707
    ] ifFalse:[
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   708
        currentUserPrefs javaReleaseSelector: nil.
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   709
    ].
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   710
    currentUserPrefs javaClassPath: self javaClassPathLiteralArray.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   711
    currentUserPrefs javaSourcePath: self javaSourcePathLiteralArray.
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   712
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   713
    "Modified: / 02-08-2012 / 10:05:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   714
!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   715
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   716
helpFilename
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   717
    "subclasses must return the relative name of a helpFile
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   718
     in the doc/online/<language>/help directory.
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   719
     Or nil, if no help is available."
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   720
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   721
    ^ '../programming/java-settings.html'
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   722
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   723
    "Modified: / 26-07-2012 / 23:05:37 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   724
! !
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   725
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   726
!JavaSettingsApplication methodsFor:'queries'!
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   727
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   728
hasUnsavedChanges
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   729
    "superclass AbstractSettingsApplication says that I am responsible to implement this method"
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   730
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   731
    | prefRel setRel |
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   732
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   733
    prefRel :=  currentUserPrefs javaRelease.  
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   734
    setRel := self javaReleaseHolder value.
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   735
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   736
    (setRel validateJavaHome: self javaHomeHolder value) ifFalse:[
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   737
        self infoPanel
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   738
            reset;
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   739
            beWarning;
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   740
            message: (resources string: 'JAVA_HOME is not valid');
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   741
            show.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   742
        ^ false "/ Hack, this effectively disables the "Apply" button...
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   743
    ] ifTrue:[
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   744
        self infoPanel hide.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   745
    ].
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   746
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   747
    prefRel ~~ setRel ifTrue:[ ^ true ].
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   748
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   749
    (self 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   750
        hasUnsavedChangesInUserEntriesInPath: self javaClassPathHolder value 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   751
        comparedTo: currentUserPrefs javaClassPathDecoded)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   752
        ifTrue:[ ^true ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   753
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   754
    (self 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   755
        hasUnsavedChangesInUserEntriesInPath: self javaSourceDirectoriesHolder value 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   756
        comparedTo: currentUserPrefs javaSourcePathDecoded)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   757
        ifTrue:[ ^true ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   758
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   759
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   760
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   761
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   762
    ^false
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
   763
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   764
    "Modified: / 10-08-2012 / 16:28:11 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   765
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   766
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   767
hasUnsavedChangesInUserEntriesInPath: currentPath comparedTo: originalPath
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   768
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   769
    currentPath size ~~ originalPath size ifTrue:[ ^ true ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   770
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   771
    currentPath with: originalPath do:[:current :original|
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   772
        current ~= original ifTrue:[ ^ true ]
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   773
    ].
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   774
    ^false
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   775
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   776
    "Created: / 30-07-2012 / 18:40:32 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   777
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   778
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   779
!JavaSettingsApplication::PathEditor class methodsFor:'interface specs'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   780
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   781
windowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   782
    "This resource specification was automatically generated
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   783
     by the UIPainter of ST/X."
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   784
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   785
    "Do not manually edit this!! If it is corrupted,
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   786
     the UIPainter may not be able to read the specification."
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   787
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   788
    "
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   789
     UIPainter new openOnClass:JavaSettingsApplication::PathEditor andSelector:#windowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   790
     JavaSettingsApplication::PathEditor new openInterface:#windowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   791
     JavaSettingsApplication::PathEditor open
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   792
    "
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   793
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   794
    <resource: #canvas>
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   795
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   796
    ^ 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   797
     #(FullSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   798
        name: windowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   799
        window: 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   800
       (WindowSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   801
          label: 'NewApplication'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   802
          name: 'NewApplication'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   803
          bounds: (Rectangle 0 0 300 300)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   804
        )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   805
        component: 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   806
       (SpecCollection
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   807
          collection: (
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   808
           (HierarchicalListViewSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   809
              name: 'PathList'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   810
              layout: (LayoutFrame 0 0 0 0 -82 1 0 1)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   811
              model: selectionHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   812
              hasHorizontalScrollBar: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   813
              hasVerticalScrollBar: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   814
              listModel: treeList
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   815
              useIndex: false
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   816
              highlightMode: line
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   817
              useDefaultIcons: false
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   818
              postBuildCallback: postBuildTreeView:
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   819
            )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   820
           (VerticalPanelViewSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   821
              name: 'Buttons1'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   822
              layout: (LayoutFrame -80 1 0 0 0 1 -22 1)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   823
              horizontalLayout: fit
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   824
              verticalLayout: top
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   825
              horizontalSpace: 5
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   826
              verticalSpace: 3
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   827
              component: 
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   828
             (SpecCollection
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   829
                collection: (
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   830
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   831
                    label: 'Add...'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   832
                    name: 'ButtonAdd'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   833
                    activeHelpKey: addPathElement
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   834
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   835
                    model: actionAdd
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   836
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   837
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   838
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   839
                    label: 'Edit...'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   840
                    name: 'ButtonEdit'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   841
                    activeHelpKey: editPathElement
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   842
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   843
                    model: actionEdit
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   844
                    enableChannel: canEditHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   845
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   846
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   847
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   848
                    label: 'Move Up'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   849
                    name: 'ButtonModeUp'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   850
                    activeHelpKey: modePathElementUp
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   851
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   852
                    model: actionMoveUp
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   853
                    enableChannel: canMoveUpHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   854
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   855
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   856
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   857
                    label: 'Move Down'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   858
                    name: 'ButtonModeDown'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   859
                    activeHelpKey: modePathElementDown
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   860
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   861
                    model: actionMoveDown
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   862
                    enableChannel: canMoveDownHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   863
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   864
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   865
                 (LabelSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   866
                    name: 'SpacingLabel'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   867
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   868
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   869
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   870
                 (ActionButtonSpec
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   871
                    label: 'Remove'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   872
                    name: 'ButtonRemove'
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   873
                    activeHelpKey: removePathElement
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   874
                    translateLabel: true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   875
                    model: actionRemove
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   876
                    enableChannel: canEditHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   877
                    extent: (Point 80 22)
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   878
                  )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   879
                 )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   880
               
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   881
              )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   882
            )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   883
           )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   884
         
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   885
        )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   886
      )
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   887
! !
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   888
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   889
!JavaSettingsApplication::PathEditor class methodsFor:'plugIn spec'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   890
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   891
aspectSelectors
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   892
    "This resource specification was automatically generated
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   893
     by the UIPainter of ST/X."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   894
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   895
    "Do not manually edit this. If it is corrupted,
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   896
     the UIPainter may not be able to read the specification."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   897
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   898
    "Return a description of exported aspects;
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   899
     these can be connected to aspects of an embedding application
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   900
     (if this app is embedded in a subCanvas)."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   901
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   902
    ^ #(
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   903
        #pathListEffectiveHolder
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   904
        #pathListHolder
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   905
        #selectionHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   906
      ).
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   907
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   908
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   909
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   910
!JavaSettingsApplication::PathEditor methodsFor:'actions'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   911
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   912
actionAdd
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   913
    <resource: #uiCallback>
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   914
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   915
    | path |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   916
    path := Dialog requestFileName: (resources string: 'Select directory or .jar file').
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   917
    path isEmptyOrNil ifTrue:[ ^ self ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   918
    self path add: (JavaPathElement newFromUser: path).
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   919
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   920
    "Modified: / 30-07-2012 / 18:37:32 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   921
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   922
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   923
actionEdit
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   924
    <resource: #uiCallback>
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   925
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   926
    "automatically generated by UIPainter..."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   927
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   928
    "*** the code below performs no action"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   929
    "*** (except for some feedback on the Transcript)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   930
    "*** Please change as required and accept in the browser."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   931
    "*** (and replace this comment by something more useful ;-)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   932
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   933
    "action to be defined here..."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   934
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   935
    Transcript showCR:self class name, ': action for actionEdit ...'.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   936
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   937
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   938
actionMoveDown
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   939
    | sel |
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   940
    sel := self selectionHolder value.
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   941
    sel origin ~~ JavaPathElement originUser ifTrue:[ ^ self ].
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   942
    self treeList moveDown: sel.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   943
    self selectionHolder value: sel.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   944
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   945
    "Modified: / 10-08-2012 / 17:11:44 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   946
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   947
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   948
actionMoveUp
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   949
    | sel |
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   950
    sel := self selectionHolder value.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   951
    sel origin ~~ JavaPathElement originUser ifTrue:[ ^ self ].
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   952
    self treeList moveUp: sel.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   953
    self selectionHolder value: sel.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   954
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
   955
    "Modified: / 10-08-2012 / 17:11:50 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   956
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   957
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   958
actionRemove
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   959
    | sel |
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   960
    sel := self selectionHolder value.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   961
    self selectionHolder value: nil.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   962
    sel isNil ifTrue:[ ^ self ].
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   963
    self path remove: sel element.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   964
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
   965
    "Modified: / 02-08-2012 / 09:58:06 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   966
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   967
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   968
!JavaSettingsApplication::PathEditor methodsFor:'aspects'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   969
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   970
path
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   971
    ^self pathList value
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   972
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   973
    "Created: / 30-07-2012 / 18:35:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   974
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   975
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   976
pathList
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   977
    "return/create the 'pathList' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   978
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   979
    pathList isNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   980
        pathList := ValueHolder new.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   981
        pathList addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   982
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   983
    ^ pathList
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   984
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   985
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   986
pathList:something
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   987
    "set the 'pathList' value holder (automatically generated)"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   988
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   989
    |oldValue newValue|
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
   990
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   991
    self assert: (something isNil or:[something isList]).
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   992
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   993
    pathList notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   994
        oldValue := pathList value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   995
        pathList removeDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   996
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   997
    pathList := something.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   998
    pathList notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
   999
        pathList addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1000
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1001
    newValue := pathList value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1002
    oldValue ~~ newValue ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1003
        self update:#value with:newValue from:pathList.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1004
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1005
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1006
    "Modified: / 30-07-2012 / 18:39:25 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1007
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1008
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1009
pathListEffectiveHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1010
    "return/create the 'pathListEffectiveHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1011
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1012
    pathListEffectiveHolder isNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1013
        pathListEffectiveHolder := ValueHolder new.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1014
        pathListEffectiveHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1015
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1016
    ^ pathListEffectiveHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1017
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1018
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1019
pathListEffectiveHolder:something
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1020
    "set the 'pathListEffectiveHolder' 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
    pathListEffectiveHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1025
        oldValue := pathListEffectiveHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1026
        pathListEffectiveHolder removeDependent:self.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1027
    ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1028
    pathListEffectiveHolder := something.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1029
    pathListEffectiveHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1030
        pathListEffectiveHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1031
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1032
    newValue := pathListEffectiveHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1033
    oldValue ~~ newValue ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1034
        self update:#value with:newValue from:pathListEffectiveHolder.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1035
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1036
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1037
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1038
pathListHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1039
    "return/create the 'pathListHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1040
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1041
    pathListHolder isNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1042
        pathListHolder := ValueHolder new.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1043
        pathListHolder addDependent:self.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1044
    ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1045
    ^ pathListHolder
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1046
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1047
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1048
pathListHolder:something
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1049
    "set the 'pathListHolder' value holder (automatically generated)"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1050
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1051
    |oldValue newValue|
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1052
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1053
    pathListHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1054
        oldValue := pathListHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1055
        pathListHolder removeDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1056
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1057
    pathListHolder := something.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1058
    pathListHolder notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1059
        pathListHolder addDependent:self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1060
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1061
    newValue := pathListHolder value.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1062
    oldValue ~~ newValue ifTrue:[
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1063
        self update:#value with:newValue from:pathListHolder.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1064
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1065
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1066
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1067
selectionHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1068
    "return/create the 'selectionHolder' value holder (automatically generated)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1069
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1070
    selectionHolder isNil ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1071
        selectionHolder := ValueHolder new.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1072
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1073
    ^ selectionHolder
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1074
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1075
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1076
selectionHolder:something
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1077
    "set the 'selectionHolder' value holder (automatically generated)"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1078
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1079
    selectionHolder := something.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1080
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1081
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1082
treeList
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1083
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1084
    treeList isNil ifTrue:[
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1085
        treeList := PathElementList new.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1086
        treeList application: self.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1087
        treeList showRoot: false.
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1088
        treeList buildTree
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1089
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1090
    ^treeList
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1091
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1092
    "Created: / 27-07-2012 / 18:36:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1093
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1094
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1095
!JavaSettingsApplication::PathEditor methodsFor:'aspects-queries'!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1096
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1097
canEditHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1098
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1099
    ^BlockValue 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1100
        with:[:sel|
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1101
            sel notNil 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1102
                and:[sel isPathElementItem
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1103
                    and:[sel origin == JavaPathElement originUser]].
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1104
        ] argument: self selectionHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1105
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1106
    "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
  1107
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1108
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1109
canMoveDownHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1110
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1111
    ^BlockValue 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1112
        with:[:sel|
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1113
            sel notNil 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1114
                and:[sel isPathElementItem
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1115
                    and:[sel origin == JavaPathElement originUser
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1116
                        and:[sel parent children last ~~ sel]]]
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1117
        ] argument: self selectionHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1118
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1119
    "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
  1120
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1121
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1122
canMoveUpHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1123
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1124
    ^BlockValue 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1125
        with:[:sel|
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1126
            sel notNil 
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1127
                and:[sel isPathElementItem
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1128
                    and:[sel origin == JavaPathElement originUser
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1129
                        and:[sel parent children first ~~ sel]]]
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1130
        ] argument: self selectionHolder
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1131
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1132
    "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
  1133
! !
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1134
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1135
!JavaSettingsApplication::PathEditor methodsFor:'change & update'!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1136
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1137
update:something with:aParameter from:changedObject
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1138
    "Invoked when an object that I depend upon sends a change notification."
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1139
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1140
    "stub code automatically generated - please change as required"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1141
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1142
    changedObject == pathListHolder ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1143
        self pathList: pathListHolder value.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1144
        self treeList buildTree.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1145
        ^self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1146
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1147
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1148
    changedObject == pathList ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1149
        self updateModifiedChannel.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1150
        something == #insert: ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1151
            self treeList updateAfterInsertAt: aParameter.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1152
            ^self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1153
        ].
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1154
        something == #removeFrom: ifTrue:[
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1155
            self treeList updateAfterRemoveFrom: aParameter first to: aParameter second.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1156
            ^self.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1157
        ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1158
        something == #value ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1159
            self updateTree.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1160
            ^self.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1161
        ].
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1162
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1163
        something == #at: ifTrue:[
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1164
            ^self.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1165
        ].
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1166
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1167
        self breakPoint: #jv.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1168
        self updateTree.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1169
         ^ self.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1170
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1171
    super update:something with:aParameter from:changedObject
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1172
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1173
    "Modified: / 10-08-2012 / 17:11:13 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1174
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1175
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1176
updateModifiedChannel
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1177
    masterApplication notNil ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1178
        masterApplication perform: #updateModifiedChannel ifNotUnderstood:[].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1179
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1180
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1181
    "Created: / 30-07-2012 / 20:11:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1182
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1183
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1184
updateTree
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1185
    self treeList buildTree
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1186
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1187
    "Created: / 27-07-2012 / 18:16:35 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1188
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1189
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1190
!JavaSettingsApplication::PathEditor methodsFor:'event processing'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1191
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1192
buttonPress:button x:x y:y view:aView
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1193
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1194
    | itemIndex item |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1195
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1196
    button ~= 1 ifTrue:[^aView buttonPress:button x:x y:y].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1197
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1198
    itemIndex := aView yVisibleToLineNr:y.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1199
    itemIndex isNil ifTrue:[^self].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1200
    itemIndex == 0 ifTrue:[^self].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1201
    itemIndex > aView list size ifTrue:[^self].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1202
    item := aView list at: itemIndex.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1203
    item isPathElementCategoryItem ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1204
        ^aView buttonPress:button x:x y:y
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1205
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1206
    ((aView left + x) between: ((item x ? 0) - 16) and: (item x ? 0)) ifFalse:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1207
        ^aView buttonPress:button x:x y:y
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1208
    ].
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1209
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1210
    item origin ~~ JavaPathElement originRelease ifTrue:[
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1211
        item enabled: item enabled not.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1212
        self updateModifiedChannel. 
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1213
        aView invalidate
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1214
    ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1215
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1216
    "Created: / 08-12-2009 / 14:12:38 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1217
    "Modified: / 18-11-2011 / 14:55:41 / cg"
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1218
    "Modified: / 10-08-2012 / 16:43:02 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1219
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1220
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1221
handlesButtonPress:button inView:aView
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1222
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1223
    ^treeView scrolledView == aView
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1224
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1225
    "Created: / 08-12-2009 / 14:08:49 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1226
! !
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1227
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1228
!JavaSettingsApplication::PathEditor methodsFor:'hooks'!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1229
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1230
postBuildTreeView: aView
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1231
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1232
    treeView := aView.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1233
    treeView scrolledView delegate: self.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1234
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1235
    "Created: / 29-11-2011 / 14:56:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1236
! !
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1237
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1238
!JavaSettingsApplication::PathEditor::PathElementList methodsFor:'accessing'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1239
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1240
allElements
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1241
    ^self application pathListEffectiveHolder value
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1242
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1243
    "Created: / 30-07-2012 / 19:42:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1244
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1245
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1246
userElements
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1247
    ^self application pathList
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1248
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1249
    "Created: / 30-07-2012 / 19:42:02 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1250
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1251
1590
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1252
!JavaSettingsApplication::PathEditor::PathElementList methodsFor:'actions'!
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1253
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1254
moveDown: item
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1255
    | parent index tmp |
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1256
    parent := item parent.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1257
    index := parent children indexOf: item.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1258
    index >= parent children size ifTrue: [ ^ self ].
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1259
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1260
    tmp := parent children at: index + 1.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1261
    parent children at: index + 1 put: (parent children at: index).
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1262
    parent children at: index     put: tmp.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1263
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1264
    tmp := self userElements at: index + 1.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1265
    self userElements at: index + 1 put: (self userElements at: index).
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1266
    self userElements at: index     put: tmp.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1267
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1268
    parent childrenOrderChanged.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1269
    self application selectionHolder changed: #value
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1270
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1271
    "Created: / 10-08-2012 / 17:15:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1272
!
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1273
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1274
moveUp: item
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1275
    | parent index tmp |
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1276
    parent := item parent.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1277
    index := parent children indexOf: item.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1278
    index < 1 ifTrue: [ ^ self ].
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1279
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1280
    tmp := parent children at: index - 1.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1281
    parent children at: index - 1 put: (parent children at: index).
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1282
    parent children at: index     put: tmp.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1283
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1284
    tmp := self userElements at: index - 1.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1285
    self userElements at: index - 1 put: (self userElements at: index).
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1286
    self userElements at: index     put: tmp.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1287
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1288
    parent childrenOrderChanged.
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1289
    self application selectionHolder changed: #value
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1290
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1291
    "Created: / 10-08-2012 / 17:05:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1292
! !
b977644c9b69 - JavaSettingsApplication
vranyj1
parents: 1586
diff changeset
  1293
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1294
!JavaSettingsApplication::PathEditor::PathElementList methodsFor:'building'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1295
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1296
buildTree
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1297
    | rt |
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1298
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1299
    rt := Category new
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1300
        addIfNotNil: (self buildCategory: JavaPathElement originRelease);
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1301
        addIfNotNil: (self buildCategory: JavaPathElement originPackage);
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1302
        addIfNotNil: (self buildCategory: JavaPathElement originEnvironment);
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1303
        addIfNotNil: (userCategory := self buildCategory: JavaPathElement originUser);
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1304
        yourself.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1305
    userCategory expand.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1306
    self root: rt.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1307
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1308
    "Created: / 30-07-2012 / 19:00:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1309
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1310
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1311
!JavaSettingsApplication::PathEditor::PathElementList methodsFor:'building-private'!
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1312
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1313
buildCategory: origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1314
    | cat elements |
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1315
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1316
    elements := self elementsForOrigin: origin.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1317
    (elements isEmptyOrNil and:[origin ~~ JavaPathElement originUser]) ifTrue:[ ^ nil ].
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1318
    cat := Category new origin: origin.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1319
    cat children: (elements collect:[:e| (self buildElement: e) parent: cat]).
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1320
    ^cat
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1321
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1322
    "Created: / 27-07-2012 / 18:26:05 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1323
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1324
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1325
buildElement: element
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1326
    ^Item new element: element.
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1327
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1328
    "Created: / 27-07-2012 / 18:46:27 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
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
elementsForOrigin: origin
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1332
    ^origin == JavaPathElement originUser ifTrue:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1333
        self userElements
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1334
    ] ifFalse:[
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1335
        self allElements select:[:e|e origin = origin]
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1336
    ].
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1337
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1338
    "Created: / 30-07-2012 / 19:42:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1339
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1340
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1341
!JavaSettingsApplication::PathEditor::PathElementList methodsFor:'change & update'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1342
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1343
updateAfterInsertAt: index
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1344
    | el item |
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1345
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1346
    el := self userElements at: index.
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1347
    self assert: el origin = JavaPathElement originUser.
1586
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1348
    userCategory add: (item := self buildElement: el) beforeIndex: index.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1349
    item parent expand.
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1350
    self application selectionHolder value: item.
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1351
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1352
    "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
  1353
!
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1354
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1355
updateAfterRemoveFrom: start to: stop
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1356
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1357
    userCategory removeFromIndex:start toIndex: stop
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1358
45694b771d99 - JavaSettingsApplication improved (can add/remove paths)
vranyj1
parents: 1571
diff changeset
  1359
    "Created: / 02-08-2012 / 09:56:37 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1360
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1361
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1362
!JavaSettingsApplication::PathEditor::PathElementList::Category methodsFor:'accessing'!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1363
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1364
element
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1365
    ^nil
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1366
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1367
    "Created: / 30-07-2012 / 19:15:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1368
!
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1369
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1370
label
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1371
    label isNil ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1372
        label := self originAsHumanReadableString asText allBold.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1373
        origin ~~ JavaPathElement originUser ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1374
            label colorizeAllWith: Color gray
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1375
        ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1376
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1377
    ^label
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1378
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1379
    "Created: / 27-07-2012 / 18:21:36 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1380
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1381
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1382
origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1383
    ^ origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1384
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1385
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1386
origin:originId
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1387
    origin := originId.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1388
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1389
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1390
originAsHumanReadableString
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1391
    origin isNil ifTrue:[^self application resources string: 'Path'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1392
    origin == JavaPathElement originRelease ifTrue:[^self application resources string: 'Java Runtime'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1393
    origin == JavaPathElement originEnvironment ifTrue:[^self application resources string: 'System Environment'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1394
    origin == JavaPathElement originPackage ifTrue:[^self application resources string: 'Package Defined'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1395
    origin == JavaPathElement originUser ifTrue:[^self application resources string: 'User Defined'].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1396
    self error:'Invalid origin'
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1397
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1398
    "Created: / 27-07-2012 / 18:39:05 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1399
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1400
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1401
!JavaSettingsApplication::PathEditor::PathElementList::Category methodsFor:'adding & removing'!
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1402
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1403
addIfNotNil: childOrNil
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1404
    childOrNil notNil ifTrue:[self add: childOrNil]
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1405
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1406
    "Created: / 27-07-2012 / 18:51:26 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1407
! !
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1408
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1409
!JavaSettingsApplication::PathEditor::PathElementList::Category methodsFor:'testing'!
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1410
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1411
isPathElementCategoryItem
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1412
    ^true
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1413
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1414
    "Created: / 30-07-2012 / 14:28:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1415
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1416
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1417
isPathElementItem
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1418
    ^false
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1419
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1420
    "Created: / 30-07-2012 / 14:28:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1421
! !
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1422
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1423
!JavaSettingsApplication::PathEditor::PathElementList::Item methodsFor:'accessing'!
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1424
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1425
element
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1426
    ^ element
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1427
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1428
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1429
element:something
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1430
    element := something.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1431
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1432
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1433
enabled
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1434
    ^element enabled
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1435
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1436
    "Created: / 30-07-2012 / 14:26:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1437
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1438
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1439
enabled: aBoolean
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1440
    element enabled: aBoolean
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1441
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1442
    "Created: / 30-07-2012 / 14:26:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1443
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1444
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1445
icon
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1446
    ^element enabled ifTrue:[
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1447
         MenuPanel iconIndicationOn
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1448
    ] ifFalse:[
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1449
         MenuPanel iconIndicationOff
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1450
    ].
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1451
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1452
    "Created: / 30-07-2012 / 14:11:41 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1453
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1454
1561
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1455
label
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1456
    | label |
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1457
    label := element pathName asText.
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1458
    self origin ~~ JavaPathElement originUser ifTrue:[
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1459
            label colorizeAllWith: Color gray
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1460
    ].
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1461
    ^label
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1462
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1463
    "Created: / 27-07-2012 / 18:42:12 / Jan Vrany <jan.vrany@fit.cvut.cz>"
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1464
!
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1465
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1466
origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1467
    ^element origin
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1468
fcfd8630d944 - JavaSettingsApplication
vranyj1
parents: 1558
diff changeset
  1469
    "Created: / 27-07-2012 / 18:41:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1470
!
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1471
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1472
x
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1473
    ^ x
1558
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
  1474
! !
3d9447d02500 - JavaSettingsApplication
vranyj1
parents: 1530
diff changeset
  1475
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1476
!JavaSettingsApplication::PathEditor::PathElementList::Item methodsFor:'displaying'!
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1477
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1478
__displayLabel:aLabel h:lH on:aGC x:newX y:y h:h 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1479
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1480
    | l w |
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1481
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1482
    l := self label.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1483
    x := newX.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1484
    [
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1485
        w := l widthOn: aGC.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1486
        w > (aGC width - x)
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1487
    ] whileTrue:[
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1488
        l := '...' , (l copyFrom: 9).
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1489
    ].
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1490
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1491
    super displayLabel:l h:h on:aGC x:newX y:y h:h.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1492
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1493
    "Created: / 30-07-2012 / 14:18:21 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1494
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1495
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1496
displayLabel:aLabel h:lH on:aGC x:newX y:y h:h 
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1497
    x := newX.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1498
    super displayLabel:aLabel h:lH on:aGC x:newX y:y h:h.
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1499
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1500
    "Created: / 30-07-2012 / 14:23:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1501
! !
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1502
1571
8e7dc83b87e4 - JavaSettingsApplication
vranyj1
parents: 1569
diff changeset
  1503
!JavaSettingsApplication::PathEditor::PathElementList::Item methodsFor:'testing'!
1569
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1504
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1505
isPathElementCategoryItem
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1506
    ^false
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1507
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1508
    "Created: / 30-07-2012 / 14:28:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1509
!
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1510
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1511
isPathElementItem
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1512
    ^true
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1513
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1514
    "Created: / 30-07-2012 / 14:28:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1515
! !
b7525db9bb2b - JavaSettingsApplication
vranyj1
parents: 1561
diff changeset
  1516
1530
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1517
!JavaSettingsApplication class methodsFor:'documentation'!
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1518
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1519
version_SVN
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1520
    ^ '$Id::                                                                                                                        $'
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1521
! !
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1522
56ca1f532597 - JavaSettingsApplication
vranyj1
parents:
diff changeset
  1523
JavaSettingsApplication initialize!