diff options
| author | bob <bcz@cs.brown.edu> | 2019-04-11 11:56:40 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-04-11 11:56:40 -0400 |
| commit | 50be8cb7a93110821c972c679567ddb6aae8bc6f (patch) | |
| tree | 77c4aa72d02709c925d9e5872ab302a0fbc4648b /src/client/views/DocumentDecorations.tsx | |
| parent | e9cbcfa2a893572f8b92bba84dd0791e6f50be71 (diff) | |
made css globals avabile from code. cleaned up formattedText overlay api..
Diffstat (limited to 'src/client/views/DocumentDecorations.tsx')
| -rw-r--r-- | src/client/views/DocumentDecorations.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/DocumentDecorations.tsx b/src/client/views/DocumentDecorations.tsx index fa521b7e2..29cca286d 100644 --- a/src/client/views/DocumentDecorations.tsx +++ b/src/client/views/DocumentDecorations.tsx @@ -322,7 +322,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> break; } - Main.Instance.SetTextDoc(undefined, undefined, undefined); + Main.Instance.SetTextDoc(); SelectionManager.SelectedDocuments().forEach(element => { const rect = element.screenRect(); if (rect.width !== 0) { |