From 733d8071fc69fa7bcaf20d39470cae849e4f16d4 Mon Sep 17 00:00:00 2001 From: ansuz Date: Thu, 19 Nov 2020 13:29:48 +0530 Subject: [PATCH 1/8] 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 = $('
'); if (!data) { return void cb(void 0, $d); } + if (data.channel) { + $('