mirrors/etherpad-lite
1
0
Fork 0
mirror of https://github.com/ether/etherpad-lite.git synced 2025-04-21 07:56:16 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Merge branch 'develop' of github.com:Pita/etherpad-lite into feature/frontend-tests

Browse source
This commit is contained in:
johnyma22 2012-10-30 17:22:08 +00:00
commit 14ef06c699
5 changed files with 22 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/static/js/pad_editor.js
View file

@ -85,11 +85,13 @@ var padeditor = (function()
if (value == "false") return false;
return defaultValue;
}
self.ace.setProperty("rtlIsTrue", settings.rtlIsTrue);
var v;
v = getOption('rtlIsTrue', false);
self.ace.setProperty("rtlIsTrue", v);
v = getOption('showLineNumbers', true);
self.ace.setProperty("showslinenumbers", v);
padutils.setCheckbox($("#options-linenoscheck"), v);