Much simpler switchView() code, what a dummy I was.
authorMike Taylor <mike@indexdata.com>
Fri, 5 Jul 2013 16:27:19 +0000 (17:27 +0100)
committerMike Taylor <mike@indexdata.com>
Fri, 5 Jul 2013 16:27:19 +0000 (17:27 +0100)
Fixes bug MKWS-30


No differences found