From 33837adc8ee58cf1364f18c5f88f22246e22336d Mon Sep 17 00:00:00 2001
From: Michael Ficarra <mficarra@shapesecurity.com>
Date: Mon, 28 Aug 2023 20:54:36 -0600
Subject: [PATCH] prettier

---
 js/menu.js | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/js/menu.js b/js/menu.js
index ae3d7406..e714f9c4 100644
--- a/js/menu.js
+++ b/js/menu.js
@@ -723,7 +723,9 @@ let referencePane = {
     this.$header.appendChild(this.$headerText);
     this.$headerRefId = document.createElement('a');
     this.$header.appendChild(this.$headerRefId);
-    this.$header.addEventListener('pointerdown', e => { this.dragStart(e); });
+    this.$header.addEventListener('pointerdown', e => {
+      this.dragStart(e);
+    });
 
     this.$closeButton = document.createElement('span');
     this.$closeButton.setAttribute('id', 'references-pane-close');
@@ -846,13 +848,14 @@ let referencePane = {
   dragStart(pointerDownEvent) {
     let startingMousePos = pointerDownEvent.clientY;
     let startingHeight = parseInt(getComputedStyle(this.$container).height);
-    let moveListener = (pointerMoveEvent) => {
+    let moveListener = pointerMoveEvent => {
       if (pointerMoveEvent.buttons === 0) {
         removeListeners();
         return;
       }
       let desiredHeight = startingHeight - (pointerMoveEvent.clientY - startingMousePos);
-      this.$container.style.height = Math.max(50, Math.min(visualViewport.height - 150, desiredHeight)) + 'px';
+      this.$container.style.height =
+        Math.max(50, Math.min(visualViewport.height - 150, desiredHeight)) + 'px';
     };
     let listenerOptions = { capture: true, passive: true };
     let removeListeners = () => {