diff options
| author | bobzel <zzzman@gmail.com> | 2023-08-17 10:00:10 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2023-08-17 10:00:10 -0400 |
| commit | 0eb9d37a9dd1a6539f331f953d5f20c761d5f940 (patch) | |
| tree | 66a1796a3311a48c58e3458cb514777f4d788f5c /src/client/views/nodes/formattedText/RichTextMenu.tsx | |
| parent | d1e31265f8707bea63e21bf9a7b1dd10ccbf2009 (diff) | |
fixed brushing of pinned viewports for chrome to not flash. converted pres<Property> to config_<property> and treeView<Property> to treeView_Property. fixed text toolbar to show/set text properties based on insertion point.
Diffstat (limited to 'src/client/views/nodes/formattedText/RichTextMenu.tsx')
| -rw-r--r-- | src/client/views/nodes/formattedText/RichTextMenu.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/nodes/formattedText/RichTextMenu.tsx b/src/client/views/nodes/formattedText/RichTextMenu.tsx index 7c3e4baad..9c46459b0 100644 --- a/src/client/views/nodes/formattedText/RichTextMenu.tsx +++ b/src/client/views/nodes/formattedText/RichTextMenu.tsx @@ -104,7 +104,7 @@ export class RichTextMenu extends AntimodeMenu<AntimodeMenuProps> { _disposer: IReactionDisposer | undefined; componentDidMount() { this._disposer = reaction( - () => SelectionManager.Views(), + () => SelectionManager.Views().slice(), views => this.updateMenu(undefined, undefined, undefined) ); } |