fix codemirror error in other themes as well

This commit is contained in:
Claude 2017-09-29 15:05:33 +02:00
parent e170c9b02c
commit 6228dff3fa
3 changed files with 24 additions and 3 deletions

View File

@ -3,7 +3,14 @@
<?php
//codemirror modes
echo '<div style="display: none;" id="codemirror_modes">' . json_encode($codemirror_modes) . '</div>';
if(isset($codemirror_modes)){
echo '<div style="display: none;" id="codemirror_modes">' . json_encode($codemirror_modes) . '</div>';
}
//ace modes
if(isset($ace_modes)){
echo '<div style="display: none;" id="ace_modes">' . json_encode($ace_modes) . '</div>';
}
//stats
$this->load->view('defaults/stats');

View File

@ -3,7 +3,14 @@
<?php
//codemirror modes
echo '<div style="display: none;" id="codemirror_modes">' . json_encode($codemirror_modes) . '</div>';
if(isset($codemirror_modes)){
echo '<div style="display: none;" id="codemirror_modes">' . json_encode($codemirror_modes) . '</div>';
}
//ace modes
if(isset($ace_modes)){
echo '<div style="display: none;" id="ace_modes">' . json_encode($ace_modes) . '</div>';
}
//stats
$this->load->view('defaults/stats');

View File

@ -3,7 +3,14 @@
<?php
//codemirror modes
echo '<div style="display: none;" id="codemirror_modes">' . json_encode($codemirror_modes) . '</div>';
if(isset($codemirror_modes)){
echo '<div style="display: none;" id="codemirror_modes">' . json_encode($codemirror_modes) . '</div>';
}
//ace modes
if(isset($ace_modes)){
echo '<div style="display: none;" id="ace_modes">' . json_encode($ace_modes) . '</div>';
}
//Javascript
$this->carabiner->js('jquery.js');