diff --git a/blue-theme/theme.pl b/blue-theme/theme.pl
index 5c5ee1fca..be2cdcea6 100755
--- a/blue-theme/theme.pl
+++ b/blue-theme/theme.pl
@@ -201,8 +201,8 @@ if (!$main::ui_hidden_start_donejs++) {
   }
 
 # Build list of tab titles and names
-my $tabnames = "[".join(",", map { "\"".&html_escape($_->[0])."\"" } @$tabs)."]";
-my $tabtitles = "[".join(",", map { "\"".&html_escape($_->[1])."\"" } @$tabs)."]";
+my $tabnames = "[".join(",", map { "\"".&quote_escape($_->[0])."\"" } @$tabs)."]";
+my $tabtitles = "[".join(",", map { "\"".&quote_escape($_->[1])."\"" } @$tabs)."]";
 $rv .= "<script>\n";
 $rv .= "document.${name}_tabnames = $tabnames;\n";
 $rv .= "document.${name}_tabtitles = $tabtitles;\n";