search

Patiencer / pyscripter

Automatically exported from code.google.com/p/pyscripter
0 stars 0 forks source link

Gutter margin #319

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
I would like to have a configurable margin to the right of the gutter. It's
easier for my eyes if the code is not up against the gutter.

Original issue reported on code.google.com by uselinux...@gmail.com on 30 Jun 2009 at 2:27

GoogleCodeExporter commented 9 years ago 
I am afraid this is rather hard to expose with the currently used editor 
component.

Original comment by pyscripter on 20 Aug 2010 at 12:59