Java Options.setMarkdownExtensions示例

示例#1

文件： Options.java 项目： zengde/markdown-writer-fx

  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));
  }

示例#2

文件： MarkdownOptionsPane.java 项目： dyinuoh/markdown-writer-fx

 void save() {
   Options.setMarkdownExtensions(extensions.get());
 }