Merge pull request #1451 from moteus/edit_short_open_tag
Fix. Works on php < 5.4.0 and short_open_tag=Off
This commit is contained in:
commit
dc4ea07286
|
|
@ -64,7 +64,7 @@ else {
|
||||||
<html>
|
<html>
|
||||||
<head>
|
<head>
|
||||||
<meta http-equiv='Content-Type' content='text/html; charset=UTF-8' />
|
<meta http-equiv='Content-Type' content='text/html; charset=UTF-8' />
|
||||||
<title><?=$title?></title>
|
<title><?php echo $title;?></title>
|
||||||
<script language="JavaScript" type="text/javascript" src="<?php echo PROJECT_PATH; ?>/resources/jquery/jquery-1.11.1.js"></script>
|
<script language="JavaScript" type="text/javascript" src="<?php echo PROJECT_PATH; ?>/resources/jquery/jquery-1.11.1.js"></script>
|
||||||
<script language="JavaScript" type="text/javascript">
|
<script language="JavaScript" type="text/javascript">
|
||||||
function submit_check() {
|
function submit_check() {
|
||||||
|
|
@ -242,21 +242,21 @@ else {
|
||||||
//load ace editor
|
//load ace editor
|
||||||
var editor = ace.edit("editor");
|
var editor = ace.edit("editor");
|
||||||
editor.setOptions({
|
editor.setOptions({
|
||||||
mode: 'ace/mode/<?=$mode?>',
|
mode: 'ace/mode/<?php echo $mode;?>',
|
||||||
theme: 'ace/theme/'+document.getElementById('theme').options[document.getElementById('theme').selectedIndex].value,
|
theme: 'ace/theme/'+document.getElementById('theme').options[document.getElementById('theme').selectedIndex].value,
|
||||||
selectionStyle: 'text',
|
selectionStyle: 'text',
|
||||||
cursorStyle: 'smooth',
|
cursorStyle: 'smooth',
|
||||||
showInvisibles: <?=$setting_invisibles?>,
|
showInvisibles: <?php echo $setting_invisibles;?>,
|
||||||
displayIndentGuides: <?=$setting_indenting?>,
|
displayIndentGuides: <?php echo $setting_indenting;?>,
|
||||||
showLineNumbers: <?=$setting_numbering?>,
|
showLineNumbers: <?php echo $setting_numbering;?>,
|
||||||
showGutter: true,
|
showGutter: true,
|
||||||
scrollPastEnd: true,
|
scrollPastEnd: true,
|
||||||
fadeFoldWidgets: <?=$setting_numbering?>,
|
fadeFoldWidgets: <?php echo $setting_numbering;?>,
|
||||||
showPrintMargin: false,
|
showPrintMargin: false,
|
||||||
highlightGutterLine: false,
|
highlightGutterLine: false,
|
||||||
useSoftTabs: false
|
useSoftTabs: false
|
||||||
});
|
});
|
||||||
document.getElementById('editor').style.fontSize='<?=$setting_size?>';
|
document.getElementById('editor').style.fontSize='<?php echo $setting_size;?>';
|
||||||
editor.focus();
|
editor.focus();
|
||||||
|
|
||||||
//keyboard shortcut to save file
|
//keyboard shortcut to save file
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue