From 6775bcb1767de7afb276574bd23a721fd5587fec Mon Sep 17 00:00:00 2001 From: Suyadi Date: Wed, 22 Feb 2023 07:54:00 +0700 Subject: [PATCH] AceEditor: hide vertical ruler (#973) --- tinyfilemanager.php | 1 + 1 file changed, 1 insertion(+) diff --git a/tinyfilemanager.php b/tinyfilemanager.php index ed21d9a..e7f693d 100644 --- a/tinyfilemanager.php +++ b/tinyfilemanager.php @@ -4074,6 +4074,7 @@ $isStickyNavBar = $sticky_navbar ? 'navbar-fixed' : 'navbar-normal'; var editor = ace.edit("editor"); editor.getSession().setMode( {path:"ace/mode/", 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'},