From 733d8071fc69fa7bcaf20d39470cae849e4f16d4 Mon Sep 17 00:00:00 2001
From: ansuz <ansuz@transitiontech.ca>
Date: Thu, 19 Nov 2020 13:29:48 +0530
Subject: [PATCH] display document ids in the properties modal

---
 www/common/inner/properties.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/www/common/inner/properties.js b/www/common/inner/properties.js
index 58f10e738..143c32d81 100644
--- a/www/common/inner/properties.js
+++ b/www/common/inner/properties.js
@@ -12,6 +12,8 @@ define([
              Messages, nThen) {
     var Properties = {};
 
+    Messages.documentID = Messages.documentID || 'Document identifier'; // XXX
+
     var getPadProperties = function (Env, data, opts, _cb) {
         var cb = Util.once(Util.mkAsync(_cb));
         var common = Env.common;
@@ -19,6 +21,13 @@ define([
         var $d = $('<div>');
         if (!data) { return void cb(void 0, $d); }
 
+        if (data.channel) {
+            $('<label>', { 'for': 'cp-app-prop-id'}).text(Messages.documentID).appendTo($d);
+            $d.append(UI.dialog.selectable(data.channel, {
+                id: 'cp-app-prop-id',
+            }));
+        }
+
         if (data.href) {
             $('<label>', {'for': 'cp-app-prop-link'}).text(Messages.editShare).appendTo($d);
             $d.append(UI.dialog.selectable(data.href, {