15 Nov
2007
15 Nov
'07
3:25 p.m.
On 11/15/07, Don Stewart <dons@galois.com> wrote:
Yes, I think this is good. I'd also suggest we show both configuration mechanisms:
1) updating defaultConfig 2) writing our own complete config (old style)
So an extension would illustrate both cases: 1) how to use the extension to override/update defaultConfig and 2) what line to add to the default Map or binding to replace it entirely.
Thu Nov 15 17:14:10 EET 2007 "Valery V. Vorotyntsev" <valery.vv@gmail.com> * CustomKeys.hs: "complete rebinding" mechanism explained Thanks to Don Stewart for his suggestion. -- vvv