From 3123bd8a99bb3c92441c93d3379742b5999b168b Mon Sep 17 00:00:00 2001
From: goose-life <32566441+goose-life@users.noreply.github.com>
Date: Thu, 19 Dec 2024 11:38:20 +0200
Subject: [PATCH] minor: add provision eid to title for navigation history

---
 indigo_app/static/javascript/indigo/views/document.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/indigo_app/static/javascript/indigo/views/document.js b/indigo_app/static/javascript/indigo/views/document.js
index 4bbef737b..d503f3922 100644
--- a/indigo_app/static/javascript/indigo/views/document.js
+++ b/indigo_app/static/javascript/indigo/views/document.js
@@ -21,7 +21,11 @@
     },
 
     getTitle: function() {
-      return this.model.get('title') + ' @ ' + this.model.get('expression_date');
+      let title = this.model.get('title') + ' @ ' + this.model.get('expression_date');
+      if (Indigo.Preloads.provisionEid) {
+        title = title + ` – ${Indigo.Preloads.provisionEid}`;
+      }
+      return title;
     },
 
     render: function() {