diff options
| author | bobzel <zzzman@gmail.com> | 2022-09-15 11:59:32 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2022-09-15 11:59:32 -0400 |
| commit | 72e59f37670c01d69b4570baff529f741730bf80 (patch) | |
| tree | 720778c3de2894471f0c753c50e413447855e240 /src/client/views/DocumentButtonBar.tsx | |
| parent | 3942bdd3f7d2e55687cb3c2e01c058b3095649fc (diff) | |
fixed border highlight for animation effects. require shift-key for all pinWithView operations
Diffstat (limited to 'src/client/views/DocumentButtonBar.tsx')
| -rw-r--r-- | src/client/views/DocumentButtonBar.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/DocumentButtonBar.tsx b/src/client/views/DocumentButtonBar.tsx index 76e2d64a2..d49c4c6c0 100644 --- a/src/client/views/DocumentButtonBar.tsx +++ b/src/client/views/DocumentButtonBar.tsx @@ -244,7 +244,7 @@ export class DocumentButtonBar extends React.Component<{ views: () => (DocumentV .views() .filter(v => v) .map(dv => dv!.rootDoc); - TabDocView.PinDoc(docs, { pinDocView: !docs.some(doc => !e.shiftKey && doc.type === DocumentType.RTF), activeFrame: Cast(docs.lastElement()?.activeFrame, 'number', null) }); + TabDocView.PinDoc(docs, { pinDocView: e.shiftKey, activeFrame: Cast(docs.lastElement()?.activeFrame, 'number', null) }); }}> <FontAwesomeIcon className="documentdecorations-icon" size="sm" icon="map-pin" /> </div> |