Make note_skill_levels default to what it used to, make it a simple list option.
authorAdam Borowski <kilobyte@angband.pl>
Fri, 10 Aug 2012 22:32:47 +0000 (00:32 +0200)
committerAdam Borowski <kilobyte@angband.pl>
Fri, 10 Aug 2012 22:32:47 +0000 (00:32 +0200)
commit8138ef583c4128be2662a59660b9cc2ac022a555
tree9341cd70fd7575424dd4879de1b2acd0300bab84
parentc55ee13b0e73a960e2a613f9c6f4d4d14f787e3d
Make note_skill_levels default to what it used to, make it a simple list option.

No point in having it be a full list -- this way, it can be easily replaced,
and having to type the old values is not a chore.  You can += or -= too if
you really want.

(Really, this option and friends should just receive an optioncide...)
crawl-ref/docs/options_guide.txt
crawl-ref/settings/init.txt
crawl-ref/source/initfile.cc
crawl-ref/source/notes.cc
crawl-ref/source/options.h