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
..
default.json	Line numbers short mode (#10354)	2024-04-10 12:08:07 +02:00
initial_local_settings.json
initial_tasks.json
initial_user_settings.json