Closed Kittyfisto closed 4 years ago
Tab width can be configured in settings Tab width is persisted in settings Tab width defaults to 4 spaces (from previously 1) Has no effect on scroll area size so in some cases, text may be cut off
Fixes #232
Tab width can be configured in settings Tab width is persisted in settings Tab width defaults to 4 spaces (from previously 1) Has no effect on scroll area size so in some cases, text may be cut off
Fixes #232