diff options
| author | bobzel <zzzman@gmail.com> | 2020-10-08 00:44:43 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2020-10-08 00:44:43 -0400 |
| commit | a722aab6a65ad8d222ec3d576497ce9687cac966 (patch) | |
| tree | 8988ad4821047d6603727439ff6430b8bec926f9 /src/client/views/nodes/formattedText/RichTextMenu.tsx | |
| parent | 192e23a2ae335a5f0de361eed9a24a5d08547217 (diff) | |
fixed adding/removing schema columns. fixed showing text/ink tools in menu at right time. cleaned up schema view a bit and fixed drag bar from disappearing when shown in full tab.
Diffstat (limited to 'src/client/views/nodes/formattedText/RichTextMenu.tsx')
| -rw-r--r-- | src/client/views/nodes/formattedText/RichTextMenu.tsx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/views/nodes/formattedText/RichTextMenu.tsx b/src/client/views/nodes/formattedText/RichTextMenu.tsx index d492b561b..2700c508b 100644 --- a/src/client/views/nodes/formattedText/RichTextMenu.tsx +++ b/src/client/views/nodes/formattedText/RichTextMenu.tsx @@ -153,11 +153,11 @@ export class RichTextMenu extends AntimodeMenu<AntimodeMenuProps> { public delayHide = () => this._delayHide = true; @action - public updateMenu(view: EditorView, lastState: EditorState | undefined, props: any) { + public updateMenu(view: EditorView | undefined, lastState: EditorState | undefined, props: any) { + this.view = view; if (!view || !view.hasFocus()) { return; } - this.view = view; props && (this.editorProps = props); // Don't do anything if the document/selection didn't change |
