diff --git a/src/static/js/pad_editor.js b/src/static/js/pad_editor.js index b1ea09f7..2514cd12 100644 --- a/src/static/js/pad_editor.js +++ b/src/static/js/pad_editor.js @@ -136,8 +136,6 @@ var padeditor = (function() var v; v = getOption('rtlIsTrue', ('rtl' == html10n.getDirection())); - // Override from parameters if true - if(settings.rtlIsTrue === true) v = true; self.ace.setProperty("rtlIsTrue", v); padutils.setCheckbox($("#options-rtlcheck"), v);