-
Notifications
You must be signed in to change notification settings - Fork 1
Description
What a great package! I love editing with elastic tabstops.
I have a small suggestion, currently in elastic-tabstops.js
, (line 254), it says:
tab.style.width = '1ch'
which I suggest changing to:
tab.style.width = '0.33ex'
This looks much better. Any indentation tabs still have the default tab-width as specified by the user but any tabstops in text will now behave more like a single space character (especially when using proportional fonts). That way, we can allign code like parameter lists much nicer: using *
for a tab, for example:
foo(*x : int,
*y : int);
with a default of 1ch
the spacing between the open parenthesis and the x
parameter becomes too much; but with 0.33ex
it looks much more natural. Or,
let *foobar *= 32
*gnu *= 42
in gnu + foobar
where the spacing from the identifier to the equals sign is more natural. Perhaps we should make it even into a user modifiable setting since the exact value may depend a bit on the particular font that is used. (0.33ex looks quite fine though on most fonts I tried -- usually I use the proportional Zilla Slab)
Best, Daan