From c1993a6ffc5a3c502dfc604652ee79acd7c47e2d Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Mon, 22 Apr 2013 17:56:34 -0400
Subject: [PATCH] overview: Fix XDnD

I accidentally removed this import which some XDnD code depends upon.
---
 js/ui/overview.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/ui/overview.js b/js/ui/overview.js
index ee2c0769f..fb6b910ab 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -19,6 +19,7 @@ const OverviewControls = imports.ui.overviewControls;
 const Panel = imports.ui.panel;
 const Params = imports.misc.params;
 const Tweener = imports.ui.tweener;
+const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
 
 // Time for initial animation going into Overview mode
 const ANIMATION_TIME = 0.25;