20
|
1 package de.mpg.mpiwg.itgroup.digilib.digiImage.properties;
|
|
2
|
|
3 import java.util.Map;
|
|
4
|
|
5 import org.eclipse.ui.views.properties.IPropertyDescriptor;
|
|
6 import org.eclipse.ui.views.properties.IPropertySource;
|
|
7 import org.eclipse.ui.views.properties.TextPropertyDescriptor;
|
|
8
|
|
9 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImage;
|
|
10 import de.mpg.mpiwg.itgroup.digilib.digiImage.DigiImageParameter;
|
|
11
|
|
12 public class DigiImageProperties implements IPropertySource {
|
|
13
|
21
|
14 //private DigiImageParameter dp;
|
20
|
15 private DigiImage digiImage;
|
|
16 private Map<String, String> pt;
|
|
17
|
|
18 public DigiImageProperties(DigiImage digiImage) {
|
21
|
19 //this.dp = digiImage.getParameter();
|
20
|
20 this.digiImage = digiImage;
|
21
|
21 this.pt = digiImage.getParameter().createMapFromParameters(null);
|
20
|
22 }
|
|
23
|
|
24 public Object getEditableValue() {
|
|
25 // TODO Auto-generated method stub
|
|
26 return null;
|
|
27 }
|
|
28
|
|
29 public IPropertyDescriptor[] getPropertyDescriptors() {
|
|
30
|
|
31
|
|
32 IPropertyDescriptor[] propertyDescriptors = new IPropertyDescriptor[pt.keySet().size()];
|
|
33 int i=0;
|
|
34 for (String key: pt.keySet()) {
|
|
35 // Add each property supported.
|
|
36
|
|
37 //PropertyDescriptor descriptor;
|
|
38
|
|
39 TextPropertyDescriptor des = new TextPropertyDescriptor(key, key);
|
|
40
|
|
41 propertyDescriptors[i] = des;
|
|
42
|
21
|
43 des.setCategory("Image parameters");
|
20
|
44 i++;
|
|
45 }
|
|
46
|
|
47 // Return it.
|
|
48 return propertyDescriptors;
|
|
49
|
|
50
|
|
51 }
|
|
52
|
|
53 public Object getPropertyValue(Object id) {
|
|
54 return pt.get(id);
|
|
55 }
|
|
56
|
|
57 public boolean isPropertySet(Object id) {
|
|
58 // TODO Auto-generated method stub
|
|
59 return false;
|
|
60 }
|
|
61
|
|
62 public void resetPropertyValue(Object id) {
|
|
63 // TODO Auto-generated method stub
|
|
64
|
|
65 }
|
|
66
|
|
67 public void setPropertyValue(Object id, Object value) {
|
|
68
|
|
69 String oldValue = pt.get(id);
|
|
70 if(oldValue.equals(value)){
|
|
71 return;
|
|
72 }
|
|
73
|
|
74 pt.put((String)id, (String)value);
|
|
75 digiImage.setParameter(new DigiImageParameter(pt));
|
|
76 digiImage.redraw();
|
21
|
77
|
20
|
78 }
|
|
79
|
|
80 }
|