public function getConfig()
{
$default = array('font_size' => '14px', 'theme' => 'github', 'auto_wrap' => 0, 'display_char' => 0, 'auto_complete' => 1);
$config_file = USER . 'data/editor_config.php';
if (!file_exists($config_file)) {
//不存在则创建
$sql = new fileCache($config_file);
$sql->reset($default);
} else {
$sql = new fileCache($config_file);
$default = $sql->get();
}
return json_encode($default);
}
public function getConfig()
{
$default = array('font_size' => '15px', 'theme' => 'clouds', 'auto_wrap' => 0, 'display_char' => 0, 'auto_complete' => 1, 'function_list' => 1);
$config_file = USER . 'data/editor_config.php';
if (!file_exists($config_file)) {
//It does not exist, create
$sql = new fileCache($config_file);
$sql->reset($default);
} else {
$sql = new fileCache($config_file);
$default = $sql->get();
}
if (!isset($default['function_list'])) {
$default['function_list'] = 1;
}
return json_encode($default);
}
