| Thread Previous • Date Previous • Date Next • Thread Next |
On Tue, Oct 16, 2012 at 6:37 PM, Syv Ritch <syv@xxxxxxxxxxxx> wrote: > On Tue, 16 Oct 2012 11:22:07 +0200 > Jaap Karssenberg <jaap.karssenberg@xxxxxxxxx> wrote: > >> Afraid it is hard coded at 12 pixels at the moment. Probably would >> need to make it scale with the font size. Although it will never >> match up exactly, as the exact character width can differ for >> different characters. > > Is there a way of overriding it with a setting in the > .config/zim/style.conf, so I can adjust it? Afraid not. Only way to fix is to modify the code in zim/gui/pageview.py. It is in the "_get_indent_tag" method, line 1572 and following. Change the "12" and "-12" values to something bigger. Regards, Jaap
| Thread Previous • Date Previous • Date Next • Thread Next |