# HG changeset patch
# User bsw
# Date 1533137539 -7200
# Node ID 4c6165d4398150a4cb1d04bca3e1da26d18ce335
# Parent  74ce9970605b4fb8242c8cda3d56a7232f39fa22
Show instance name in header

diff -r 74ce9970605b -r 4c6165d43981 app/main/_filter_view/30_navigation.lua
--- a/app/main/_filter_view/30_navigation.lua	Wed Aug 01 17:26:16 2018 +0200
+++ b/app/main/_filter_view/30_navigation.lua	Wed Aug 01 17:32:19 2018 +0200
@@ -33,7 +33,11 @@
   slot.select ( 'header_bar', function ()
     ui.tag{ tag = "header", attr = { class = "mdl-layout__header mdl-layout__header--seamed" }, content = function()
       ui.container{ attr = { class = "mdl-layout__header-row" }, content = function()
-        ui.link{ module = "index", view = "index", attr = { class = "mdl-layout-title" }, content = "LiquidFeedback" }
+        local title = "LiquidFeedback"
+        if config.instance_name then
+          title = config.instance_name .. " :: " .. title
+        end
+        ui.link{ module = "index", view = "index", attr = { class = "mdl-layout-title" }, content = title }
         ui.tag{ attr = { class = "mdl-layout-spacer" }, content = "" }
 
         if app.session:has_access ("anonymous") then