On 29 Oct 2014, at 18:07, Graham P Heath wrote: > Unfortunately I've just found a bug where the gutter will fill half > the window, over the text, its non-fatal and only triggers on the HTML > drawer being resized, so its probably pretty low priority, but its > easily reproducible on my system. What version of the OS?