Fix unused Element import in codemirror.lib.Configuration

Change-Id: I5f9fb6d440a0137d36b43d31d0c2870e099e6287
This commit is contained in:
Shawn Pearce
2013-07-11 16:53:28 -07:00
parent fe4e246aa8
commit 9302a79ca5

View File

@@ -15,7 +15,6 @@
package net.codemirror.lib;
import com.google.gwt.core.client.JavaScriptObject;
import com.google.gwt.dom.client.Element;
/**
* Simple map-like structure to pass configuration to CodeMirror.