public void storeProperties(Asta4dProperties properties) {
storeNamespace(properties.getNamespace());
storePrefixEnabled(properties.isSnippetPrefixesEnabled());
storePrefixes(properties.getSnippetPrefixes());
storeFuncEnabled(properties.isSnippetConvertFuncEnabled());
storeFunc(properties.getSnippetConvertFunc());
try {
this.pref.flush();
} catch (BackingStoreException e) {
throw new RuntimeException(e);
}
}
