(Last) Minor behavioral refinements addressed
- Button-2 jump scrolling now works over the Map when zero diffs exist - Misleading dead code removed related to map scrolling - Help info on cmdline quoting rules refined
Authored by: vampm 2018-06-04
Parent: [r114]
Child: [r116]
