uses ace editor

instead of tab, ace requires the tab-size. so (string) tab has been replaced with tab-size (integer)
This commit is contained in:
tom tomsen
2011-12-14 15:26:29 +01:00
parent 022ff3313e
commit 5a6c8c03d2
2 changed files with 44 additions and 85 deletions
+4 -2
View File
@@ -2,7 +2,7 @@
$options = array(
// which string should represent a tab for indentation
'tab' => ' ',
'tabsize' => 3,
);
/**
@@ -75,10 +75,12 @@ if (isset($_POST['code'])) {
<link rel="stylesheet" type="text/css" href="styles.css" />
<script type="text/javascript" src="jquery-1.4.2.min.js"></script>
<script type="text/javascript" src="jquery.selections.js"></script>
<script type="text/javascript" src="ace.js"></script>
<script type="text/javascript" src="mode-php.js"></script>
<script type="text/javascript" src="php-console.js"></script>
<script type="text/javascript">
$.console({
tab: <?php echo json_encode($options['tab']) ?>
tabsize: <?php echo json_encode($options['tabsize']) ?>
});
</script>
</head>