From 3edaae9d486b75a16824a92a114f4bb732fbc829 Mon Sep 17 00:00:00 2001 From: dkanada Date: Wed, 16 Jan 2019 18:01:35 +0900 Subject: [PATCH] add a header for user specific pages --- src/scripts/librarymenu.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/scripts/librarymenu.js b/src/scripts/librarymenu.js index b4eb366448..718e5dd1ec 100644 --- a/src/scripts/librarymenu.js +++ b/src/scripts/librarymenu.js @@ -107,6 +107,9 @@ define(["dom", "layoutManager", "inputManager", "connectionManager", "events", " } html += '
'; + html += '

'; + html += globalize.translate("HeaderUser"); + html += "

"; if (user.localUser) { html += '' + globalize.translate("ButtonSettings") + ""; }