Esempio n. 1
0
  public static void load(Preferences options) {
    Options.options = options;

    setLineSeparator(options.get("lineSeparator", null));
    setEncoding(options.get("encoding", null));
    setMarkdownExtensions(options.getInt("markdownExtensions", Extensions.ALL));
    setShowWhitespace(options.getBoolean("showWhitespace", false));
  }
 void save() {
   Options.setMarkdownExtensions(extensions.get());
 }