comparison jface/FileTreeViewer.d @ 143:42c3056512ba

redirect the jface examples to the new collection wrappers
author Frank Benoit <benoit@tionex.de>
date Thu, 07 Aug 2008 22:21:50 +0200
parents 7931ee9b41e6
children
comparison
equal deleted inserted replaced
142:7dca96709d29 143:42c3056512ba
38 import tango.io.FileSystem; 38 import tango.io.FileSystem;
39 import tango.io.Path; 39 import tango.io.Path;
40 import tango.io.FilePath; 40 import tango.io.FilePath;
41 import tango.util.log.Trace; 41 import tango.util.log.Trace;
42 42
43 import tango.util.collection.model.Seq; 43 import dwtx.dwtxhelper.Collection;
44 import tango.util.collection.ArraySeq;
45 import tango.text.convert.Utf; 44 import tango.text.convert.Utf;
46 45
47 void main(){ 46 void main(){
48 auto hw = new FileTree; 47 auto hw = new FileTree;
49 hw.run(); 48 hw.run();
147 146
148 } 147 }
149 148
150 class FileTreeLabelProvider : ILabelProvider { 149 class FileTreeLabelProvider : ILabelProvider {
151 150
152 private Seq!(ILabelProviderListener) listeners; 151 private ArrayList listeners;
153 152
154 private Image file; 153 private Image file;
155 private Image dir; 154 private Image dir;
156 155
157 private bool preserveCase; 156 private bool preserveCase;
158 157
159 public this(){ 158 public this(){
160 listeners = new ArraySeq!(ILabelProviderListener); 159 listeners = new ArrayList();
161 160
162 file = new Image( null, new ImageData( new ByteArrayInputStream( cast(byte[])import( "file.png" )))); 161 file = new Image( null, new ImageData( new ByteArrayInputStream( cast(byte[])import( "file.png" ))));
163 dir = new Image( null, new ImageData( new ByteArrayInputStream( cast(byte[])import( "folder.png" )))); 162 dir = new Image( null, new ImageData( new ByteArrayInputStream( cast(byte[])import( "folder.png" ))));
164 } 163 }
165 164
166 public void setPreserveCase(bool preserveCase){ 165 public void setPreserveCase(bool preserveCase){
167 this.preserveCase = preserveCase; 166 this.preserveCase = preserveCase;
168 auto event = new LabelProviderChangedEvent(this); 167 auto event = new LabelProviderChangedEvent(this);
169 for( int i = 0, n = listeners.size(); i < n; i++ ){ 168 for( int i = 0, n = listeners.size(); i < n; i++ ){
170 auto ilpl = listeners.get(i); 169 auto ilpl = cast(ILabelProviderListener)listeners.get(i);
171 ilpl.labelProviderChanged(event); 170 ilpl.labelProviderChanged(event);
172 } 171 }
173 } 172 }
174 173
175 public override Image getImage(Object arg0){ 174 public override Image getImage(Object arg0){
190 } 189 }
191 return preserveCase ? text : text.toUpperCase(); 190 return preserveCase ? text : text.toUpperCase();
192 } 191 }
193 192
194 public void addListener( ILabelProviderListener arg0 ){ 193 public void addListener( ILabelProviderListener arg0 ){
195 listeners.append(arg0); 194 listeners.add(cast(Object)arg0);
196 } 195 }
197 196
198 public void dispose(){ 197 public void dispose(){
199 if( dir !is null ) dir.dispose(); 198 if( dir !is null ) dir.dispose();
200 if( file !is null ) file.dispose(); 199 if( file !is null ) file.dispose();
203 public bool isLabelProperty(Object arg0, char[] arg1){ 202 public bool isLabelProperty(Object arg0, char[] arg1){
204 return false; 203 return false;
205 } 204 }
206 205
207 public void removeListener(ILabelProviderListener arg0){ 206 public void removeListener(ILabelProviderListener arg0){
208 listeners.remove(arg0); 207 listeners.remove(cast(Object)arg0);
209 } 208 }
210 } 209 }
211 210
212 211
213 212
214 213
215 214
216 215
217 216
218 217
219 218
220 219
221 220
222 221
223 222
224 223