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