From 58387c710b7a4f44d4dfa535c024cd598a0e7669 Mon Sep 17 00:00:00 2001 From: Valentyne Stigloher Date: Sat, 19 Apr 2025 12:44:11 +0200 Subject: [PATCH] (grammar) make short column header name optional --- components/GrammarTable.vue | 22 ++++++++++++++-------- src/language/grammarTables.ts | 2 +- 2 files changed, 15 insertions(+), 9 deletions(-) diff --git a/components/GrammarTable.vue b/components/GrammarTable.vue index 745aa8460..244df9512 100644 --- a/components/GrammarTable.vue +++ b/components/GrammarTable.vue @@ -80,10 +80,13 @@ const rowHeaderCount = computed(() => { - - - - + + @@ -95,10 +98,13 @@ const rowHeaderCount = computed(() => { >