From 38cf92b4860b8faaafdd8df8eeea84f0f58c5cd5 Mon Sep 17 00:00:00 2001
From: Thomas Buckley-Houston <tom@tombh.co.uk>
Date: Mon, 16 Jul 2018 18:08:04 +0800
Subject: [PATCH] Prettier formatting fix

---
 webext/src/dom/dimensions.js | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/webext/src/dom/dimensions.js b/webext/src/dom/dimensions.js
index 24af2ad..b523312 100644
--- a/webext/src/dom/dimensions.js
+++ b/webext/src/dom/dimensions.js
@@ -17,7 +17,7 @@ export default class extends utils.mixins(CommonMixin) {
     this._pre_calculated_char = {
       width: 9,
       height: 15
-    }
+    };
 
     if (TEST) {
       this._char_height_magic_number = 0;
@@ -168,9 +168,15 @@ export default class extends utils.mixins(CommonMixin) {
   _calculateCharacterDimensions() {
     const element = this._getOrCreateMeasuringBox();
     const dom_rect = element.getBoundingClientRect();
-    if (dom_rect.width != this._pre_calculated_char.width ||
-        dom_rect.height != this._pre_calculated_char.height) {
-      this.log(`Using char dims ${this._pre_calculated_char.width}x${this._pre_calculated_char.height}`);
+    if (
+      dom_rect.width != this._pre_calculated_char.width ||
+      dom_rect.height != this._pre_calculated_char.height
+    ) {
+      this.log(
+        `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}`);
     }
     this.char = {