- setPref($data_dir, $username, "chosen_theme", $chosentheme);
- setPref($data_dir, $username, "show_num", $shownum);
- setPref($data_dir, $username, "wrap_at", $wrapat);
- setPref($data_dir, $username, "editor_size", $editorsize);
- setPref($data_dir, $username, "left_refresh", $leftrefresh);
- setPref($data_dir, $username, "language", $language);
+ setPref($data_dir, $username, 'chosen_theme', $chosentheme);
+ setPref($data_dir, $username, 'show_num', $shownum);
+ setPref($data_dir, $username, 'wrap_at', $wrapat);
+ setPref($data_dir, $username, 'editor_size', $editorsize);
+ setPref($data_dir, $username, 'left_refresh', $leftrefresh);
+ setPref($data_dir, $username, 'language', $language);