179180181182183184185186
// Properties management //---------------------------------------------------------------------- public String[] getPropertyNames(){ if (_propertyNames==null) _propertyNames = new PlotPropertiesNames().getPropertyNames(); return _propertyNames; }