etc/options
changeset 69353 a6e83dcc00e6
parent 69103 814a1ab42d70
child 69431 10fc8a648250
equal deleted inserted replaced
69352:f557375f6e17 69353:a6e83dcc00e6
   219   -- "enable spell-checker for prose words within document text, comments etc."
   219   -- "enable spell-checker for prose words within document text, comments etc."
   220 
   220 
   221 public option spell_checker_dictionary : string = "en"
   221 public option spell_checker_dictionary : string = "en"
   222   -- "spell-checker dictionary name"
   222   -- "spell-checker dictionary name"
   223 
   223 
   224 public option spell_checker_include : string = "words,comment,inner_comment,ML_comment,SML_comment"
   224 public option spell_checker_include : string = "words,comment,comment1,comment2,comment3,ML_comment,SML_comment"
   225   -- "included markup elements for spell-checker (separated by commas)"
   225   -- "included markup elements for spell-checker (separated by commas)"
   226 
   226 
   227 public option spell_checker_exclude : string = "no_words,antiquoted"
   227 public option spell_checker_exclude : string = "no_words,antiquoted"
   228   -- "excluded markup elements for spell-checker (separated by commas)"
   228   -- "excluded markup elements for spell-checker (separated by commas)"
   229 
   229