Zulip Chat Archive
Stream: general
Topic: Vertical line in VSCode for projects
Yaël Dillies (Nov 18 2022 at 16:27):
How do I show the vertical line at character 100 in VSCode on a non-mathlib project?
Yaël Dillies (Nov 18 2022 at 16:27):
If possible, in a way that's persistent across instances of VSCode
Johan Commelin (Nov 18 2022 at 16:29):
See .vscode/settings.json in mathlib for some good defaults
Filippo A. E. Nuccio (Nov 18 2022 at 16:29):
You need to add
"editorRuler.foreground": "#ff40efa1",
(this is my favourite color) as well as
"editor.rulers": [ 100],
in your json file.
Yaël Dillies (Nov 18 2022 at 16:42):
Amazing! Worked instantly.
Filippo A. E. Nuccio (Nov 18 2022 at 16:43):
Well, had it worked after a couple of hours, I would have doubted of my understanding on how software works... :grinning_face_with_smiling_eyes:
Yaël Dillies (Nov 18 2022 at 16:45):
I mean I didn't have to restart VSCode :grinning:
Last updated: Dec 20 2023 at 11:08 UTC