skins: Fixes #3510 show/hide line numbers

This commit is contained in:
Sebastian Castro 2018-11-15 11:34:32 +01:00
parent 4c7ae65ac4
commit 2ce195747b
4 changed files with 13 additions and 15 deletions

View file

@ -975,9 +975,8 @@ function Ace2Inner(){
showsuserselections: setClassPresenceNamed(root, "userSelections"),
showslinenumbers : function(value){
hasLineNumbers = !! value;
// disable line numbers on mobile devices
if (browser.mobile) hasLineNumbers = false;
setClassPresence(sideDiv, "sidedivhidden", !hasLineNumbers);
setClassPresence(sideDiv.parentNode, "sidediv-hidden", !hasLineNumbers);
fixView();
},
grayedout: setClassPresenceNamed(outerWin.document.body, "grayedout"),