From 1b3b7850de39f396e003a11d88d7df5123d98789 Mon Sep 17 00:00:00 2001 From: Florian Festi Date: Sun, 22 Jan 2023 15:42:51 +0100 Subject: [PATCH] Make generator name the start of the page title So it is easier to find the right tab in the browser. --- scripts/boxesserver | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/boxesserver b/scripts/boxesserver index 1ad7502..63bcafb 100755 --- a/scripts/boxesserver +++ b/scripts/boxesserver @@ -229,7 +229,7 @@ class BServer: result = [f""" - {_("Boxes - %s") % _(name)} + {_("%s - Boxes") % _(name)}