equal
deleted
inserted
replaced
212 -- "enable spell-checker for prose words within document text, comments etc." |
212 -- "enable spell-checker for prose words within document text, comments etc." |
213 |
213 |
214 public option spell_checker_dictionary : string = "en" |
214 public option spell_checker_dictionary : string = "en" |
215 -- "spell-checker dictionary name" |
215 -- "spell-checker dictionary name" |
216 |
216 |
217 public option spell_checker_elements : string = "words,comment,inner_comment,ML_comment,SML_comment" |
217 public option spell_checker_include : string = "words,comment,inner_comment,ML_comment,SML_comment" |
218 -- "relevant markup elements for spell-checker, separated by commas" |
218 -- "included markup elements for spell-checker (separated by commas)" |
|
219 |
|
220 public option spell_checker_exclude : string = "antiquoted" |
|
221 -- "excluded markup elements for spell-checker (separated by commas)" |
219 |
222 |
220 |
223 |
221 section "Secure Shell" |
224 section "Secure Shell" |
222 |
225 |
223 option ssh_config_dir : string = "~/.ssh" |
226 option ssh_config_dir : string = "~/.ssh" |