On 12 Jun 2014, at 13:08, Bernhard Lohkamp <[email protected]> wrote:
> Hi, > > this was due to some changes in the code when opening maps. For now I "fix" > this to not make diff maps scrollable by default as before (some more > sophistication may be used in the future). This is available from r5095. Brilliant, that fixes it for me. Thanks! Huw
