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); }