diff options
| author | bob <bcz@cs.brown.edu> | 2019-08-29 10:34:08 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-08-29 10:34:08 -0400 |
| commit | a46ae95ed6570342f03b7590ff70d6249e56f059 (patch) | |
| tree | 91307b68d59ffabb29b5941d39bbcb04a317fb1b /src/client/views/nodes/FormattedTextBoxComment.tsx | |
| parent | 1079d90c5d6752a0a2c06a25d42c1192cb433ed3 (diff) | |
added a timestamp for edit marks.
Diffstat (limited to 'src/client/views/nodes/FormattedTextBoxComment.tsx')
| -rw-r--r-- | src/client/views/nodes/FormattedTextBoxComment.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/nodes/FormattedTextBoxComment.tsx b/src/client/views/nodes/FormattedTextBoxComment.tsx index 31eb06427..4ec0d6064 100644 --- a/src/client/views/nodes/FormattedTextBoxComment.tsx +++ b/src/client/views/nodes/FormattedTextBoxComment.tsx @@ -84,7 +84,7 @@ export class SelectionSizeTooltip { let child = state.selection.$from.nodeBefore; let mark = child && findOtherUserMark(child.marks); if (mark && child && nbef && naft) { - SelectionSizeTooltip.tooltip.textContent = mark.attrs.userid; + SelectionSizeTooltip.tooltip.textContent = mark.attrs.userid + " " + mark.attrs.modified; // These are in screen coordinates // let start = view.coordsAtPos(state.selection.from), end = view.coordsAtPos(state.selection.to); let start = view.coordsAtPos(state.selection.from - nbef), end = view.coordsAtPos(state.selection.from - nbef); |