From 3def81cb5f5ab3fa682ac9ffc82b1ff2ab3e2e53 Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Sun, 3 Aug 2025 21:17:42 +0200 Subject: [PATCH] devlog: auto hide tab bar --- content/devlog/2025.smd | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/content/devlog/2025.smd b/content/devlog/2025.smd index 75470ba..431bc05 100644 --- a/content/devlog/2025.smd +++ b/content/devlog/2025.smd @@ -15,6 +15,14 @@ them. You can [subscribe to this page via RSS]($link.page('devlog').alternative('rss')) and find more devlog entries in the [archive](/devlog/). +## [auto hide tab bar]($section.id("2025-08-03T21:16:43+02:00")) + +The tabs widget will now only be shown when more than one tab is open. This can +be configured with an integer parameter on the tabs widget. For example: +`tabs:2` => show the tab bar when there are two or more tabs (this is the +default), `tabs:0` => always show the tab bar. + + ## [smarter insert line functions]($section.id("2025-08-01T16:48:44+02:00")) Today's feature of the day is a small quality-of-life fix. The