Fix editor settings

This commit is contained in:
Daniel Perna 2018-07-12 22:34:58 +02:00
parent 63d07b9fdb
commit 4a6c13e1a1
2 changed files with 6 additions and 6 deletions

View file

@ -2283,12 +2283,12 @@ INDEX = Template(r"""<!DOCTYPE html>
closeOnClick: false,
draggable: true
});
/*$('.ace_settings-collapse').sideNav({
$('.ace_settings-collapse').sideNav({
menuWidth: 300,
edge: 'right',
closeOnClick: true,
draggable: true
});*/
draggable: false
});
// This fixes the dead spaces when trying to close the file browser
$(document).on('click', '.drag-target', function(){$('.button-collapse').sideNav('hide');})
listdir('.');

View file

@ -2182,12 +2182,12 @@
closeOnClick: false,
draggable: true
});
/*$('.ace_settings-collapse').sideNav({
$('.ace_settings-collapse').sideNav({
menuWidth: 300,
edge: 'right',
closeOnClick: true,
draggable: true
});*/
draggable: false
});
// This fixes the dead spaces when trying to close the file browser
$(document).on('click', '.drag-target', function(){$('.button-collapse').sideNav('hide');})
listdir('.');