comparison dwtx/jface/preference/PreferenceStore.d @ 104:04b47443bb01

Reworked the collection uses to make use of a wrapper collection that is compatible to the Java Collections. These new wrappers now use the tango.util.containers instead of the tango.util.collections.
author Frank Benoit <benoit@tionex.de>
date Thu, 07 Aug 2008 15:01:33 +0200
parents 7ffeace6c47f
children a785420fe9ca
comparison
equal deleted inserted replaced
103:2d6540440fe6 104:04b47443bb01
23 // import java.io.PrintStream; 23 // import java.io.PrintStream;
24 // import java.io.PrintWriter; 24 // import java.io.PrintWriter;
25 // import java.util.ArrayList; 25 // import java.util.ArrayList;
26 // import java.util.Enumeration; 26 // import java.util.Enumeration;
27 // import java.util.Properties; 27 // import java.util.Properties;
28 import tango.util.collection.ArraySeq;
29 28
30 import dwtx.core.commands.common.EventManager; 29 import dwtx.core.commands.common.EventManager;
31 import dwtx.core.runtime.Assert; 30 import dwtx.core.runtime.Assert;
32 import dwtx.jface.resource.JFaceResources; 31 import dwtx.jface.resource.JFaceResources;
33 import dwtx.jface.util.IPropertyChangeListener; 32 import dwtx.jface.util.IPropertyChangeListener;
34 import dwtx.jface.util.PropertyChangeEvent; 33 import dwtx.jface.util.PropertyChangeEvent;
35 import dwtx.jface.util.SafeRunnable; 34 import dwtx.jface.util.SafeRunnable;
36 35
37 import dwt.dwthelper.utils; 36 import dwt.dwthelper.utils;
37 // import dwtx.dwtxhelper.Collection;
38 import tango.io.Print; 38 import tango.io.Print;
39 import tango.io.stream.FileStream; 39 import tango.io.stream.FileStream;
40 40
41 import tango.io.model.IConduit; 41 import tango.io.model.IConduit;
42 import tango.text.Util; 42 import tango.text.Util;