diff options
| author | bobzel <zzzman@gmail.com> | 2022-04-05 14:45:06 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2022-04-05 14:45:06 -0400 |
| commit | 8f6a065c192c091393e654bdac682c285a63ad8f (patch) | |
| tree | ed40761cc227d8eccc9823319c71fec7b3ddab58 /src | |
| parent | 996b0c12ae5456f6471e8162959dfa4174b8fc5b (diff) | |
from last
Diffstat (limited to 'src')
| -rw-r--r-- | src/client/views/collections/TabDocView.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/collections/TabDocView.tsx b/src/client/views/collections/TabDocView.tsx index ad5c0efb3..bd3e810c9 100644 --- a/src/client/views/collections/TabDocView.tsx +++ b/src/client/views/collections/TabDocView.tsx @@ -179,7 +179,7 @@ export class TabDocView extends React.Component<TabDocViewProps> { // highlight the tab when the tab document is brushed in any part of the UI tab._disposers.reactionDisposer = reaction(() => ({ title: doc.title, degree: Doc.IsBrushedDegree(doc) }), ({ title, degree }) => { - titleEle.value = title; + //titleEle.value = title; // titleEle.style.padding = degree ? 0 : 2; // titleEle.style.border = `${["gray", "gray", "gray"][degree]} ${["none", "dashed", "solid"][degree]} 2px`; }, { fireImmediately: true }); |