From a944708dbd9ad5b6e5e0eb21fb586b82e4c3b3a6 Mon Sep 17 00:00:00 2001
From: David Brochart <david.brochart@gmail.com>
Date: Thu, 23 Jun 2022 16:09:00 +0200
Subject: [PATCH] Lint

---
 packages/geojson-extension/src/index.ts | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/packages/geojson-extension/src/index.ts b/packages/geojson-extension/src/index.ts
index c68e1b5be..a81e2fec8 100644
--- a/packages/geojson-extension/src/index.ts
+++ b/packages/geojson-extension/src/index.ts
@@ -7,7 +7,7 @@ import { Message } from '@lumino/messaging';
 
 import { IRenderMime } from '@jupyterlab/rendermime-interfaces';
 
-import {view} from 'geoverview';
+import { view } from 'geoverview';
 
 import '../style/index.css';
 
@@ -83,8 +83,6 @@ export class RenderedGeoJSON extends Widget implements IRenderMime.IRenderer {
    */
   protected onUpdateRequest(msg: Message): void {
     // Update map size after update
-    if (this.isVisible) {
-    }
   }
 
   private _mimeType: string;