// TODO rewrite after add extension dialogs
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);
    }
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);
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");
// TODO rewrite after add extension dialogs
setMarkdownExtensions(MarkdownExtensions.ids());
showLineNo.init(options, "showLineNo", true);
showWhitespace.init(options, "showWhitespace", false);
}