Piotr Osiewicz 39e0e26d1d Line numbers short mode (#10354) ...

Followup to #10327 
It can be enabled with the following setting:

"line_indicator_format": "short"

No release note, as the original change didn't go out to Preview yet.

/cc @bartekpacia @0x2CA

Release Notes:

- N/A

2024-04-10 12:08:07 +02:00

..

contexts

Fix annoying system prompt

2023-05-29 21:47:59 -06:00

fonts

Remove unused font

2024-01-24 13:14:47 +01:00

icons

Channel chat: Add edit message (#9035)

2024-03-19 19:49:04 -06:00

keymaps

Improve Find/Replace shortcuts (#10297)

2024-04-08 22:07:59 -07:00

settings

Line numbers short mode (#10354)

2024-04-10 12:08:07 +02:00

sounds

Update collaboration sounds, add sounds to screensharing

2023-07-04 16:18:42 -04:00

themes

Use ignored color from theme for items ignored by Git (#10038)

2024-04-01 11:34:49 -04:00