Fixes issue #93 [Lots of random "red dots" showing up in the gutter]#102

Merged

jbrooksuk merged 2 commits intoggordan:masterfrom digeomel:master

Jul 29, 2016

+2-2

Commits on Jul 29, 2016

Fixes issue ggordan#93 [Lots of random "red dots" showing up in the gutter]
digeomel
committed
Forgot to commit one extra line for issue ggordan#93
digeomel
committed