Esempio n. 1
0
 void onValueChanged(String ov, String nv) {
   String[] vs = (String[]) propertiesHash.get(nv);
   if (vs == null) vs = new String[0];
   String[] ovs = getSelectedProperties();
   if (ov != null && ovs != null) propertiesHash.put(ov, ovs);
   setSelectedProperties(vs);
   propertyListEditor.updateBar();
 }