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
..
cursor_position.rs	Line numbers short mode (#10354)	2024-04-10 12:08:07 +02:00
go_to_line.rs	Line numbers short mode (#10354)	2024-04-10 12:08:07 +02:00