2021222324252627282930
{ RandomDistributionEditor.addEditor(paneColEdit, catalogVal); } else { RandomDistribution property = RandomDistributionEnv.get(catalogVal); RandomDistributionEditor.addEditor(paneColEdit, catalogVal, property); } paneColEdit.updateUI(); }