From 88cb4266cba6b282b79c44f08326e256393213a3 Mon Sep 17 00:00:00 2001
From: Jason DeRose <coder@derose.io>
Date: Thu, 10 Jun 2021 17:48:13 -0400
Subject: [PATCH] fix missing WorkspaceThumbnail import #1350

---
 overview.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/overview.js b/overview.js
index 9f102f8..2b2a0a5 100644
--- a/overview.js
+++ b/overview.js
@@ -36,6 +36,7 @@ const IconGrid = imports.ui.iconGrid;
 const OverviewControls = imports.ui.overviewControls;
 const Workspace = imports.ui.workspace;
 const St = imports.gi.St;
+const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
 
 const Meta = imports.gi.Meta;