diff options
author | bobzel <zzzman@gmail.com> | 2020-09-13 11:25:07 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2020-09-13 11:25:07 -0400 |
commit | 0175c1ef14876c2d382d9b5326e70414615617ed (patch) | |
tree | 0f2d0cdf0abe93b7d0ee06b265dc4b29cba938ee | |
parent | 4f5a3e202d8e78b5a721c910435446210952b393 (diff) |
fixed refreshing web pages
-rw-r--r-- | src/client/views/collections/CollectionMenu.tsx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/views/collections/CollectionMenu.tsx b/src/client/views/collections/CollectionMenu.tsx index 3cc041e0b..ddb33727b 100644 --- a/src/client/views/collections/CollectionMenu.tsx +++ b/src/client/views/collections/CollectionMenu.tsx @@ -742,8 +742,8 @@ export class CollectionFreeFormViewChrome extends React.Component<CollectionMenu const history = Cast(selectedDoc["data-history"], listSpec("string"), null); const annos = DocListCast(selectedDoc["data-annotations"]); if (Field.toString(selectedDoc.data as Field) === Field.toString(new WebField(URLy))) { - Doc.GetProto(selectedDoc).data = undefined; - setTimeout(action(() => Doc.GetProto(selectedDoc).data = new WebField(URLy)), 0); + Doc.GetProto(selectedDoc).data = new WebField(new URL("http://cs.brown.edu/~avd")); + setTimeout(action(() => Doc.GetProto(selectedDoc).data = new WebField(URLy)), 100); } else { if (url) { Doc.GetProto(selectedDoc)["data-annotations-" + this.urlHash(this._url)] = new List<Doc>(annos); |