Fix text source issue

This commit is contained in:
toasted-nutbread 2019-12-11 21:27:42 -05:00
parent 7446c99f98
commit 99867ebdd8

View File

@ -24,6 +24,7 @@ class SettingsPopupPreview {
this.popupInjectOuterStylesheetOld = Popup.injectOuterStylesheet;
this.popupShown = false;
this.themeChangeTimeout = null;
this.textSource = null;
}
static create() {
@ -95,7 +96,7 @@ class SettingsPopupPreview {
onWindowResize() {
if (this.frontend === null) { return; }
const textSource = this.frontend.textSourceLast;
const textSource = this.textSource;
if (textSource === null) { return; }
const elementRect = textSource.getRect();
@ -164,6 +165,7 @@ class SettingsPopupPreview {
} finally {
source.cleanup();
}
this.textSource = source;
await this.frontend.lastShowPromise;
if (this.frontend.popup.isVisible()) {