From a248aa14990aa3318a5f2085a0bd33c0c39f36d2 Mon Sep 17 00:00:00 2001
From: Ashley Vaughn <ashley.eva.vaughn@gmail.com>
Date: Sat, 15 Jun 2024 14:32:15 -0700
Subject: [PATCH] add ruler at 101 and text-width at 100 to lean in
 languages.toml

---
 languages.toml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/languages.toml b/languages.toml
index 436937cd86cc..8f60f9d0c638 100644
--- a/languages.toml
+++ b/languages.toml
@@ -1078,6 +1078,8 @@ comment-token = "--"
 block-comment-tokens = { start = "/-", end = "-/" }
 language-servers = [ "lean" ]
 indent = { tab-width = 2, unit = "  " }
+rulers = [101]
+text-width = 100
 
 [language.auto-pairs]
 '(' = ')'