diff options
| author | bobzel <zzzman@gmail.com> | 2021-03-19 23:31:59 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2021-03-19 23:31:59 -0400 |
| commit | 86a1656949a1faa346b073fe0a68e3e856fbb09e (patch) | |
| tree | a4141452f934338cd8e405fd84716c987b2a1d0c /src/client/views/nodes/WebBox.tsx | |
| parent | 40245cd179ac0544e3a21e1b56ead73475e90cc8 (diff) | |
fixing up future/history for webBox to sync annotation display.
Diffstat (limited to 'src/client/views/nodes/WebBox.tsx')
| -rw-r--r-- | src/client/views/nodes/WebBox.tsx | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/client/views/nodes/WebBox.tsx b/src/client/views/nodes/WebBox.tsx index bfe8782ac..a294125a5 100644 --- a/src/client/views/nodes/WebBox.tsx +++ b/src/client/views/nodes/WebBox.tsx @@ -8,7 +8,7 @@ import { Id } from "../../../fields/FieldSymbols"; import { HtmlField } from "../../../fields/HtmlField"; import { InkTool } from "../../../fields/InkField"; import { List } from "../../../fields/List"; -import { makeInterface } from "../../../fields/Schema"; +import { makeInterface, listSpec } from "../../../fields/Schema"; import { Cast, NumCast, StrCast } from "../../../fields/Types"; import { WebField } from "../../../fields/URLField"; import { TraceMobx } from "../../../fields/util"; @@ -282,8 +282,8 @@ export class WebBox extends ViewBoxAnnotatableComponent<FieldViewProps, WebDocum @action forward = () => { - const future = StrListCast(this.dataDoc[this.fieldKey + "-future"]); - const history = StrListCast(this.dataDoc[this.fieldKey + "-history"]); + const future = Cast(this.dataDoc[this.fieldKey + "-future"], listSpec("string"), []); + const history = Cast(this.dataDoc[this.fieldKey + "-history"], listSpec("string"), []); if (future.length) { history.push(this._url); this.dataDoc[this.fieldKey] = new WebField(new URL(this._url = future.pop()!)); @@ -295,8 +295,8 @@ export class WebBox extends ViewBoxAnnotatableComponent<FieldViewProps, WebDocum @action back = () => { - const future = StrListCast(this.dataDoc[this.fieldKey + "-future"]); - const history = StrListCast(this.dataDoc[this.fieldKey + "-history"]); + const future = Cast(this.dataDoc[this.fieldKey + "-future"], listSpec("string")); + const history = Cast(this.dataDoc[this.fieldKey + "-history"], listSpec("string"), []); if (history.length) { if (future === undefined) this.dataDoc[this.fieldKey + "-future"] = new List<string>([this._url]); else future.push(this._url); @@ -316,8 +316,8 @@ export class WebBox extends ViewBoxAnnotatableComponent<FieldViewProps, WebDocum if (!newUrl) return; if (!newUrl.startsWith("http")) newUrl = "http://" + newUrl; try { - const future = StrListCast(this.dataDoc[this.fieldKey + "-future"]); - const history = StrListCast(this.dataDoc[this.fieldKey + "-history"]); + const future = Cast(this.dataDoc[this.fieldKey + "-future"], listSpec("string")); + const history = Cast(this.dataDoc[this.fieldKey + "-history"], listSpec("string")); const url = this.webField?.toString(); if (url) { if (history === undefined) { |