|
@@ -298,7 +298,7 @@ else {
|
|
|
<td valign='middle' style='padding-left: 6px;'><img src='resources/images/icon_numbering.png' title='Toggle Line Numbers' class='control' onclick="toggle_option('numbering');"></td>
|
|
|
<td valign='middle' style='padding-left: 6px;'><img src='resources/images/icon_invisibles.png' title='Toggle Invisibles' class='control' onclick="toggle_option('invisibles');"></td>
|
|
|
<td valign='middle' style='padding-left: 6px;'><img src='resources/images/icon_indenting.png' title='Toggle Indent Guides' class='control' onclick="toggle_option('indenting');"></td>
|
|
|
- <td valign='middle' style='padding-left: 6px;'><img src='resources/images/icon_replace.png' title='Show Find/Replace [Ctrl+H]' class='control' onclick="editor.execCommand('replace');"></td>
|
|
|
+ <!--<td valign='middle' style='padding-left: 6px;'><img src='resources/images/icon_replace.png' title='Show Find/Replace [Ctrl+H]' class='control' onclick="editor.execCommand('replace');"></td>-->
|
|
|
<td valign='middle' style='padding-left: 6px;'><img src='resources/images/icon_goto.png' title='Show Go To Line' class='control' onclick="editor.execCommand('gotoline');"></td>
|
|
|
<td valign='middle' style='padding-left: 10px;'>
|
|
|
<select id='mode' style='height: 23px;' onchange="editor.getSession().setMode((this.options[this.selectedIndex].value == 'php') ? {path:'ace/mode/php', inline:true} : 'ace/mode/' + this.options[this.selectedIndex].value); focus_editor();">
|
|
@@ -429,7 +429,9 @@ else {
|
|
|
<?php key_press('ctrl+enter', 'down', 'window', null, null, "$('form#frm').submit();", false); ?>
|
|
|
|
|
|
//remove certain keyboard shortcuts
|
|
|
- editor.commands.bindKey("Ctrl-T", null); //new browser tab
|
|
|
+ editor.commands.bindKey("Ctrl-T", null); //disable transpose letters - prefer new browser tab
|
|
|
+ editor.commands.bindKey("Ctrl-F", null); //disable find - control broken with bootstrap
|
|
|
+ editor.commands.bindKey("Ctrl-H", null); //disable replace - control broken with bootstrap
|
|
|
</script>
|
|
|
|
|
|
<?php
|