diff options
author | Ashod Nakashian <ashod.nakashian@collabora.co.uk> | 2018-11-08 11:02:26 -0500 |
---|---|---|
committer | Andras Timar <andras.timar@collabora.com> | 2018-11-13 21:06:51 +0100 |
commit | 7c753bd58ab51b2daef41c5c61adbcd6ae2e8c36 (patch) | |
tree | 0b3b1c33f7fd4172a403d3c0decc05a669670d2e /configure.ac | |
parent | 71c6a308035eb687f8fd8823c1e16670ad2a450b (diff) |
LOK: don't emit redline comments
Change tracking can be quite numerous. Showing the
markers (and their comments" as comment-boxes is
sensible where there is limited change in a doc.
However with extensively modified doc, this becomes
overwhelming both in terms of browser load and
editing performance. As such, we disable them
as they don't add much value. The user can still
access them from the Track Changes > Manage menu.
Use a rather nasty env. var hack to propagate this
setting from WSD for now.
Change-Id: I3f964816b4a10f565012b273added8a8413cd309
Signed-off-by: Michael Meeks <michael.meeks@collabora.com>
(cherry picked from commit d4f821b7a385953542e90b2749690b9f8f4cc782)
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions