diff options
| author | bob <bcz@cs.brown.edu> | 2019-12-05 11:37:08 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-12-05 11:37:08 -0500 |
| commit | f1d89e46aa4a2d10dcbe6d36ecf2aebdb348f887 (patch) | |
| tree | cb32bbd2d7e642f3bb1f8cacbe147dc571fca26d /src/new_fields/Doc.ts | |
| parent | fa89fbf06f3d27ff0ca3f62fa6e6ab4fe378edf1 (diff) | |
better highlighting of path target
Diffstat (limited to 'src/new_fields/Doc.ts')
| -rw-r--r-- | src/new_fields/Doc.ts | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/new_fields/Doc.ts b/src/new_fields/Doc.ts index cf32fa74a..6f55775fe 100644 --- a/src/new_fields/Doc.ts +++ b/src/new_fields/Doc.ts @@ -700,8 +700,7 @@ export namespace Doc { } const highlightManager = new HighlightBrush(); export function IsHighlighted(doc: Doc) { - const IsHighlighted = highlightManager.HighlightedDoc.get(doc) || highlightManager.HighlightedDoc.get(Doc.GetDataDoc(doc)); - return IsHighlighted; + return highlightManager.HighlightedDoc.get(doc) || highlightManager.HighlightedDoc.get(Doc.GetDataDoc(doc)); } export function HighlightDoc(doc: Doc) { runInAction(() => { |