Jeff Meininger:
Let's assume that tabsize and indent.size are set to 3. When viewing
with "Use Monospaced Font", things are great. When using variable width
fonts, however, this setting can result in a very "shallow" indentation.
Seems it would be cool if we could set...
font.indent=$(font.monospace)
The width used for indentation is found from the width of a space
in STYLE_DEFAULT (32). You can change indentation widths by changing
the font used for style 32 to be a monospace font and then changing
all the other style numbers to use your preferred text fonts.
If this can already be done in some way, and I missed it in the docs,
please smack me on the head with the clue hammer. Thanks. :)
Well, it is a bit obscure.
Neil
_______________________________________________
Scite-interest mailing list
[email protected]
http://mailman.lyra.org/mailman/listinfo/scite-interest
