29 Oct
2014
29 Oct
'14
8:03 p.m.
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?