From 69d9878acd06b8a9423512580e843dc73247a2f3 Mon Sep 17 00:00:00 2001 From: ed Date: Tue, 12 Aug 2025 19:03:34 +0000 Subject: [PATCH] use the good name --- copyparty/web/browser.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/copyparty/web/browser.js b/copyparty/web/browser.js index 9734090d..6c79f3ef 100644 --- a/copyparty/web/browser.js +++ b/copyparty/web/browser.js @@ -16746,7 +16746,7 @@ var settheme = (function () { var html = [], cb = ebi('themes'), itheme = ax.indexOf(theme[0]) * 2 + (light ? 1 : 0), - names = ['classic dark', 'classic light', 'pm-monokai', 'flat light', 'vice', 'hotdog stand', 'hacker', 'hi-con', 'win95 dark', 'win95']; + names = ['classic dark', 'classic light', 'pm-monokai', 'flat light', 'vice', 'hotdog stand', 'hacker', 'hi-con', 'phi95 dark', 'phi95']; for (var a = 0; a < themes; a++) html.push(''.format(a, names[a] || 'custom'));