etc/options
changeset 67395 b39d596b77ce
parent 67273 c573cfb2c407
child 67506 30233285270a
equal deleted inserted replaced
67394:b591933d39ec 67395:b39d596b77ce
   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"