update themes

This commit is contained in:
Fabian Jakobs 2011-11-14 16:47:05 +01:00
commit 826f439bf0
4 changed files with 268 additions and 0 deletions

View file

@ -340,6 +340,8 @@ function updateUIEditorOptions() {
selectStyleEl.checked = editor.getSelectionStyle() == "line";
themeEl.value = editor.getTheme();
highlightActiveEl.checked = editor.getHighlightActiveLine();
editor.setShowInvisibles(true);
showHiddenEl.checked = editor.getShowInvisibles();
showGutterEl.checked = editor.renderer.getShowGutter();
showPrintMarginEl.checked = editor.renderer.getShowPrintMargin();