equal
deleted
inserted
replaced
240 -- "spell-checker dictionary name" |
240 -- "spell-checker dictionary name" |
241 |
241 |
242 public option spell_checker_include : string = "words,comment,comment1,comment2,comment3,ML_comment,SML_comment" |
242 public option spell_checker_include : string = "words,comment,comment1,comment2,comment3,ML_comment,SML_comment" |
243 -- "included markup elements for spell-checker (separated by commas)" |
243 -- "included markup elements for spell-checker (separated by commas)" |
244 |
244 |
245 public option spell_checker_exclude : string = "no_words,antiquoted" |
245 public option spell_checker_exclude : string = "antiquoted,raw_text" |
246 -- "excluded markup elements for spell-checker (separated by commas)" |
246 -- "excluded markup elements for spell-checker (separated by commas)" |
247 |
247 |
248 |
248 |
249 section "Secure Shell" |
249 section "Secure Shell" |
250 |
250 |