olaf 2004/10/08 04:18:40 PDT Modified files: src/hattools HatSource.hs Log: Added handling of multiple modules and automatic focus on relevant source part. If use occurrence of current redex and siblings (or definition) is not within visible part of source, then part is changed appropriately. This happens every time the current redex is changed by user. Modules are read on demand. User can change with < and > between modules. Both change of module and change of redex sibling rotates, going round at end. A bit of refactoring. Introducing type CursorSeq for handling both modules and redexes. Revision Changes Path 1.12 +220 -90 hat/src/hattools/HatSource.hs