- Revision 3526940: /custom-html-block-extension/trunk/src/admin/editor-config/editor-options

• ..
• accept-suggestion-on-enter.js
• auto-closing-brackets.js
• auto-closing-quotes.js
• auto-indent.js
• auto-surround.js
• column-selection.js
• comments/
• contextmenu.js
• copy-with-syntax-highlighting.js
• cursor-blinking.js
• cursor-smooth-caret-animation.js
• cursor-style.js
• cursor-surrounding-lines-style.js
• cursor-surrounding-lines.js
• cursor-width.js
• drag-and-drop.js
• empty-selection-clipboard.js
• fast-scroll-sensitivity.js
• find/
• folding-highlight.js
• folding-strategy.js
• folding.js
• font-family.js
• font-ligatures.js
• font-size.js
• font-weight.js
• format-on-paste.js
• glyph-margin.js
• hide-cursor-in-overview-ruler.js
• highlight-active-indent-guide.js
• hover.js
• index.js
• letter-spacing.js
• line-decorations-width.js
• line-height.js
• line-numbers-min-chars.js
• line-numbers.js
• links.js
• match-brackets.js
• minimap/
• mouse-wheel-scroll-sensitivity.js
• mouse-wheel-zoom.js
• multi-cursor-modifier.js
• multi-cursor-paste.js
• occurrences-highlight.js
• overview-ruler-border.js
• padding/
• quick-suggestions-delay.js
• quick-suggestions.js
• render-control-characters.js
• render-final-newline.js
• render-indent-guides.js
• render-line-highlight-only-when-focus.js
• render-line-highlight.js
• render-whitespace.js
• rounded-selection.js
• rulers.js
• scroll-beyond-last-column.js
• scroll-beyond-last-line.js
• scrollbar/
• select-on-line-numbers.js
• selection-highlight.js
• show-folding-controls.js
• smooth-scrolling.js
• sticky-tab-stops.js
• suggest/
• suggest-font-size.js
• suggest-line-height.js
• unfold-on-click-after-end-of-line.js
• use-tab-stops.js
• word-wrap-column.js
• word-wrap.js
• wrapping-indent.js