|
From: Lars H. <lhe...@us...> - 2006-10-24 09:03:52
|
> It is true that when changing a configuration option one must also change > the associated summary message, but that strikes me as a reasonable price. I'm mainly refering to the lists of terminal drivers. This is just one more place that gets forgotten when e.g. new terminals are added. Just like them not being added in Makefiles (which I usually check and fix for releases). It would be better to generate such a list, rather than hardcoding it. |