From 5435063a2f76a7573a680f9a19d84a08bcae0317 Mon Sep 17 00:00:00 2001 From: John McLear Date: Sun, 12 Apr 2015 10:35:24 +0100 Subject: [PATCH] re-fix rtl --- src/static/js/pad_editor.js | 2 -- 1 file changed, 2 deletions(-) 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);