Merge pull request #591 from judaew/feat/helo

feat: Add option to toggle greetings (helo) in the statusline

config/defaults.yml

@@ -177,6 +177,9 @@ display:
 
   time_fmt: "%Y-%m-%d %H:%M"
 
+  statusline:
+    helo: True
+
 keymap:
   bigger_preview: <c-k>
   eval_snips: null

coq/server/registrants/noop.py

@@ -41,13 +41,14 @@ async def now(stack: Stack, args: Sequence[str]) -> None:
     except ArgparseError as e:
         await Nvim.write(e, error=True)
     else:
-        if not ns.shut_up:
-            lo, hi = _HELO.chars
-            chars = choice(range(lo, hi))
-            star = (choice(_HELO.stars),)
-            birds = " ".join(chain(star, sample(_HELO.cocks, k=chars), star))
-            helo = choice(_HELO.helo)
-            msg = f"{birds}  {helo}{linesep}"
-            encoded = encode(msg)
-            stdout.buffer.write(encoded)
-            stdout.buffer.flush()
+        if stack.settings.display.statusline.helo:
+            if not ns.shut_up:
+                lo, hi = _HELO.chars
+                chars = choice(range(lo, hi))
+                star = (choice(_HELO.stars),)
+                birds = " ".join(chain(star, sample(_HELO.cocks, k=chars), star))
+                helo = choice(_HELO.helo)
+                msg = f"{birds}  {helo}{linesep}"
+                encoded = encode(msg)
+                stdout.buffer.write(encoded)
+                stdout.buffer.flush()

coq/shared/settings.py

@@ -70,6 +70,11 @@ class Icons:
     mappings: Mapping[str, str]
 
 
+@dataclass(frozen=True)
+class Statusline:
+    helo: bool
+
+
 @dataclass(frozen=True)
 class Display:
     ghost_text: GhostText
@@ -78,6 +83,7 @@ class Display:
     icons: Icons
     time_fmt: str
     mark_highlight_group: str
+    statusline: Statusline
 
 
 @dataclass(frozen=True)

docs/DISPLAY.md

@@ -278,3 +278,17 @@ For a (mostly exhaustive) list of `kind` keys: `:lua print(vim.inspect(vim.lsp.p
 For `ctags` do `ctags --list-kinds-full`.
 
 The defaults do not cover `ctags`, as there are too many to find unique icons for.
+
+#### coq_settings.display.statusline
+
+Used for the statusline.
+
+##### `coq_settings.display.statusline.helo`
+
+Displays a greeting in the statusline.
+
+**default:**
+
+```json
+true
+```