Fix highlights when changing to Text mode

gskinner · gskinner · commit 2a4e85d00104 · 2020-03-22T12:32:40.000-06:00
diff --git a/dev/src/views/Text.js b/dev/src/views/Text.js
@@ -141,6 +141,7 @@ export default class Text extends EventDispatcher {
 
 	_handleModeChange(evt) {
 		this.dispatchEvent("modechange");
+		if (this.mode === "text") { this.editor.refresh(); }
 	}
 	
 	_setResult(val) {

Original file line number	Diff line number	Diff line change
`@@ -141,6 +141,7 @@ export default class Text extends EventDispatcher {`
`141`	`141`
`142`	`142`	`_handleModeChange(evt) {`
`143`	`143`	`this.dispatchEvent("modechange");`
	`144`	`+ if (this.mode === "text") { this.editor.refresh(); }`
`144`	`145`	`}`
`145`	`146`
`146`	`147`	`_setResult(val) {`