public static void load(Preferences options) {
        fontFamily.init(options, "fontFamily", null, value -> safeFontFamily(value));
        fontSize.init(options, "fontSize", DEF_FONT_SIZE);
        markdownExtensions.init(options, "markdownExtensions");
        // TODO rewrite after add extension dialogs
        setMarkdownExtensions(MarkdownExtensions.ids());
        showLineNo.init(options, "showLineNo", true);
        showWhitespace.init(options, "showWhitespace", false);
    }
public static void load(Preferences options) {
        fontFamily.init(options, "fontFamily", null, value -> safeFontFamily(value));
        fontSize.init(options, "fontSize", DEF_FONT_SIZE);
        markdownExtensions.init(options, "markdownExtensions");
       
        setMarkdownExtensions(MarkdownExtensions.ids());
        showLineNo.init(options, "showLineNo", true);
        showWhitespace.init(options, "showWhitespace", false);
    }
public static void load(preferences options) { fontfamily.init(options, "fontfamily", null, value -> safefontfamily(value)); fontsize.init(options, "fontsize", def_font_size); markdownextensions.init(options, "markdownextensions"); setmarkdownextensions(markdownextensions.ids()); showlineno.init(options, "showlineno", true); showwhitespace.init(options, "showwhitespace", false); }