UserAgent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/63.0.3239.108 Safari/537.36
Steps to reproduce the problem:
There is no option to affect character vertical and horizontal spacing.
Note this is not font size (size of letters), but the spacing between letters.
What is the expected behavior?
two settings:
character-spacing-vertical-adjust: 0
character-spacing-horizontal-adjust: 0
default is zero, increasing adds vertical and horizontal.
What went wrong?
currently measured spacing can be awkward looking
Did this work before? N/A
Chrome version: 63.0.3239.108 Channel: stable
OS Version:
Flash Version:
horizontal adjustment currently possible naturally via user-css-text: x-row { letter-spacing: -0.1px; }
vertical adjustment can be implemented by adjusting measureCharacterSize after measuring character size.
Comment 1 by yangd@google.com
, Dec 28 2017user-css -- x-row { letter-spacing: 0.2px; } x-row span { padding: 2px 0; } additional js term_.scrollPort_.ms=term_.scrollPort_.measureCharacterSize; term_.scrollPort_.measureCharacterSize = function(p) { var x = term_.scrollPort_.ms(p); x.height += 2; x.width += 0.2 return x; };