diff options
| author | bobzel <zzzman@gmail.com> | 2024-04-19 11:02:05 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2024-04-19 11:02:05 -0400 |
| commit | b6229b0a6141afbfd0e78e3ec870218187864def (patch) | |
| tree | 26c6e752e4512abe42b92dcefd1a3b42df529494 /src/client/views/nodes/formattedText/FormattedTextBoxComment.tsx | |
| parent | 2a313f28fcb8675223708b0657de7517a3281095 (diff) | |
fixed text search highlighting. fixed first typed characfter of note to have marks.
Diffstat (limited to 'src/client/views/nodes/formattedText/FormattedTextBoxComment.tsx')
| -rw-r--r-- | src/client/views/nodes/formattedText/FormattedTextBoxComment.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/nodes/formattedText/FormattedTextBoxComment.tsx b/src/client/views/nodes/formattedText/FormattedTextBoxComment.tsx index c0cb60c6d..533fefa09 100644 --- a/src/client/views/nodes/formattedText/FormattedTextBoxComment.tsx +++ b/src/client/views/nodes/formattedText/FormattedTextBoxComment.tsx @@ -50,7 +50,7 @@ export class FormattedTextBoxComment { static userMark: Mark; static textBox: FormattedTextBox | undefined; - constructor(view: any) { + constructor() { if (!FormattedTextBoxComment.tooltip) { const tooltip = (FormattedTextBoxComment.tooltip = document.createElement('div')); const tooltipText = (FormattedTextBoxComment.tooltipText = document.createElement('div')); |