Beispiel #1
0
 void save() {
   Options.setMarkdownExtensions(extensions.get());
 }
Beispiel #2
0
 void load() {
   extensions.set(Options.getMarkdownExtensions());
 }