css: style select with nice-select library

This commit is contained in:
Sebastian Castro 2020-04-14 09:27:13 +02:00 committed by muxator
parent 21de2bf4a0
commit ce1e9672f9
9 changed files with 422 additions and 15 deletions

View file

@ -555,6 +555,7 @@ var pad = {
pad.changeViewOption('rtlIsTrue', true);
}
pad.changeViewOption('padFontFamily', padcookie.getPref("padFontFamily"));
$('#viewfontmenu').val(padcookie.getPref("padFontFamily")).niceSelect('update');
hooks.aCallAll("postAceInit", {ace: padeditor.ace, pad: pad});
}