HTTP server: fix for stale DOM dimensions

webext/src/dom/dimensions.js

@@ -175,9 +175,7 @@ export default class extends utils.mixins(CommonMixin) {
         dom_rect.height != this._pre_calculated_char.height
       ) {
         this.log(
-          `Using char dims ${this._pre_calculated_char.width}x${
-            this._pre_calculated_char.height
-          }`
+          `Using char dims ${this._pre_calculated_char.width}x${this._pre_calculated_char.height}`
         );
         this.log(`Actual char dims ${dom_rect.width}x${dom_rect.height}`);
       }

webext/src/dom/text_builder.js

@@ -36,6 +36,7 @@ export default class extends utils.mixins(CommonMixin, SerialiseMixin) {
   buildFormattedText(callback) {
     this._updateState();
     this.graphics_builder.getOnOffScreenshots(() => {
+      this.dimensions.update();
       this._getTextNodes();
       this._positionTextNodes();
       callback();