comparison jface/ShowFieldPrefs.d @ 62:caaf053c44d6

more examples
author Frank Benoit <benoit@tionex.de>
date Fri, 11 Apr 2008 17:08:20 +0200
parents
children 5c1906bfc206
comparison
equal deleted inserted replaced
61:ffb8196501b3 62:caaf053c44d6
1 module jface.PreferenceDlgTest;
2
3 import dwtx.jface.preference.BooleanFieldEditor;
4 import dwtx.jface.preference.ColorFieldEditor;
5 import dwtx.jface.preference.DirectoryFieldEditor;
6 import dwtx.jface.preference.FileFieldEditor;
7 import dwtx.jface.preference.FontFieldEditor;
8 import dwtx.jface.preference.FieldEditorPreferencePage;
9 import dwtx.jface.preference.RadioGroupFieldEditor;
10 import dwtx.jface.preference.PathEditor;
11 import dwtx.jface.preference.IntegerFieldEditor;
12 import dwtx.jface.preference.ScaleFieldEditor;
13 import dwtx.jface.preference.StringFieldEditor;
14 import dwtx.jface.preference.IPreferenceStore;
15 import dwtx.jface.preference.PreferenceManager;
16 import dwtx.jface.preference.PreferencePage;
17 import dwtx.jface.preference.PreferenceNode;
18 import dwtx.jface.preference.PreferenceStore;
19 import dwtx.jface.preference.PreferenceDialog;
20 import dwtx.jface.resource.ImageDescriptor;
21
22 import dwt.widgets.Display;
23 import dwt.widgets.Composite;
24 import dwt.widgets.Label;
25 import dwt.widgets.Button;
26 import dwt.widgets.Text;
27 import dwt.widgets.Control;
28 import dwt.events.SelectionAdapter;
29 import dwt.events.SelectionEvent;
30 import dwt.layout.RowLayout;
31 import dwt.layout.GridLayout;
32 import dwt.layout.GridData;
33 import dwt.DWT;
34 import dwt.dwthelper.utils;
35
36 import tango.io.File;
37 import tango.io.FilePath;
38
39 version(JIVE) import jive.stacktrace;
40
41 const char[] FILENAME = "showfieldprefs";
42
43 /**
44 * This class demonstrates field editors
45 */
46 public class FieldEditorPageOne : FieldEditorPreferencePage {
47 public this() {
48 // Use the "flat" layout
49 super(FLAT);
50 }
51
52 /**
53 * Creates the field editors
54 */
55 protected void createFieldEditors() {
56 // Add a bool field
57 BooleanFieldEditor bfe = new BooleanFieldEditor("myBoolean", "Boolean",
58 getFieldEditorParent());
59 addField(bfe);
60
61 // Add a color field
62 ColorFieldEditor cfe = new ColorFieldEditor("myColor", "Color:",
63 getFieldEditorParent());
64 addField(cfe);
65
66 // Add a directory field
67 DirectoryFieldEditor dfe = new DirectoryFieldEditor("myDirectory",
68 "Directory:", getFieldEditorParent());
69 addField(dfe);
70
71 // Add a file field
72 FileFieldEditor ffe = new FileFieldEditor("myFile", "File:",
73 getFieldEditorParent());
74 addField(ffe);
75
76 // Add a font field
77 FontFieldEditor fontFe = new FontFieldEditor("myFont", "Font:",
78 getFieldEditorParent());
79 addField(fontFe);
80
81 // Add a radio group field
82 RadioGroupFieldEditor rfe = new RadioGroupFieldEditor("myRadioGroup",
83 "Radio Group", 2, [ [ "First Value", "first"],
84 [ "Second Value", "second"], [ "Third Value", "third"],
85 [ "Fourth Value", "fourth"]], getFieldEditorParent(), true);
86 addField(rfe);
87
88 // Add a path field
89 PathEditor pe = new PathEditor("myPath", "Path:", "Choose a Path",
90 getFieldEditorParent());
91 addField(pe);
92 }
93 }
94
95
96 /**
97 * This class demonstrates field editors
98 */
99 public class FieldEditorPageTwo : FieldEditorPreferencePage {
100 public this() {
101 // Use the "grid" layout
102 super(GRID);
103 }
104
105 /**
106 * Creates the field editors
107 */
108 protected void createFieldEditors() {
109 // Add an integer field
110 IntegerFieldEditor ife = new IntegerFieldEditor("myInt", "Int:",
111 getFieldEditorParent());
112 addField(ife);
113
114 // Add a scale field
115 ScaleFieldEditor sfe = new ScaleFieldEditor("myScale", "Scale:",
116 getFieldEditorParent(), 0, 100, 1, 10);
117 addField(sfe);
118
119 // Add a string field
120 StringFieldEditor stringFe = new StringFieldEditor("myString", "String:",
121 getFieldEditorParent());
122 addField(stringFe);
123 }
124 }
125
126
127 /**
128 * This class demonstrates JFace preferences and field editors
129 */
130 public class ShowFieldPrefs {
131 /**
132 * Runs the application
133 */
134 public void run() {
135 // Display display = new Display();
136
137 // Create the preference manager
138 PreferenceManager mgr = new PreferenceManager();
139
140 // Create the nodes
141 PreferenceNode one = new PreferenceNode("one", "One", null,
142 FieldEditorPageOne.classinfo.name );
143 PreferenceNode two = new PreferenceNode("two", "Two", null,
144 FieldEditorPageTwo.classinfo.name );
145
146 // Add the nodes
147 mgr.addToRoot(one);
148 mgr.addToRoot(two);
149
150 // Create the preferences dialog
151 PreferenceDialog dlg = new PreferenceDialog(null, mgr);
152
153 // Set the preference store
154 PreferenceStore ps = new PreferenceStore(FILENAME);
155 try {
156 ps.load();
157 } catch (IOException e) {
158 // Ignore
159 }
160 dlg.setPreferenceStore(ps);
161
162 // Open the dialog
163 dlg.open();
164
165 try {
166 // Save the preferences
167 ps.save();
168 } catch (IOException e) {
169 ExceptionPrintStackTrace(e);
170 }
171 // display.dispose();
172 }
173
174 /**
175 * The application entry point
176 *
177 * @param args the command line arguments
178 */
179 public static void main(String[] args) {
180 (new ShowFieldPrefs()).run();
181 }
182 }
183
184
185 void main(){
186 scope fn = new FilePath( FILENAME );
187 if( !fn.exists ){
188 scope prefs = new File( fn );
189 version(linux){
190 prefs.write( import("jface.showfieldprefs.properties.linux" ));
191 }
192 version(Windows){
193 prefs.write( import("jface.showfieldprefs.properties.win" ));
194 }
195 }
196 ShowFieldPrefs.main( null );
197 }
198
199
200
201
202