Fix indentation on the editor.

This commit is contained in:
markjcrane
2016-03-04 13:18:30 -07:00
parent 847a9e926d
commit b4b86b0478
3 changed files with 13 additions and 3 deletions

View File

@@ -59,12 +59,22 @@ else {
$setting_indenting = ($_SESSION["editor"]["indent_guides"]["boolean"] != '') ? $_SESSION["editor"]["indent_guides"]["boolean"] : 'false';
$setting_numbering = ($_SESSION["editor"]["line_numbers"]["boolean"] != '') ? $_SESSION["editor"]["line_numbers"]["boolean"] : 'true';
$setting_preview = ($_SESSION["editor"]["live_preview"]["boolean"] != '') ? $_SESSION["editor"]["live_preview"]["boolean"] : 'true';
//get and then set the favicon
if (isset($_SESSION['theme']['favicon']['text'])){
$favicon = $_SESSION['theme']['favicon']['text'];
}
else {
$favicon = '<!--{project_path}-->/themes/enhanced/favicon.ico';
}
?>
<html>
<head>
<meta http-equiv='Content-Type' content='text/html; charset=UTF-8' />
<title><?php echo $title;?></title>
<title><?php echo $title; ?></title>
<link rel="icon" type="image/x-icon" href="<?php echo $favicon; ?>">
<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">
function submit_check() {