AceEditor: hide vertical ruler (#973)

This commit is contained in:
Suyadi 2023-02-22 07:54:00 +07:00 committed by GitHub
parent 4b2aef8737
commit 6775bcb176
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4074,6 +4074,7 @@ $isStickyNavBar = $sticky_navbar ? 'navbar-fixed' : 'navbar-normal';
var editor = ace.edit("editor");
editor.getSession().setMode( {path:"ace/mode/<?php echo $ext; ?>", inline:true} );
//editor.setTheme("ace/theme/twilight"); //Dark Theme
editor.setShowPrintMargin(false); // Hide the vertical ruler
function ace_commend (cmd) { editor.commands.exec(cmd, editor); }
editor.commands.addCommands([{
name: 'save', bindKey: {win: 'Ctrl-S', mac: 'Command-S'},