|
@@ -2,15 +2,15 @@
|
|
|
// Distributed under the terms of the Modified BSD License.
|
|
|
|
|
|
import {
|
|
|
- Application
|
|
|
-} from 'phosphide/lib/core/application';
|
|
|
+ IDocumentRegistry
|
|
|
+} from '../docregistry';
|
|
|
|
|
|
import {
|
|
|
- DocumentRegistry
|
|
|
-} from '../docregistry';
|
|
|
+ JupyterLab, JupyterLabPlugin
|
|
|
+} from '../application';
|
|
|
|
|
|
import {
|
|
|
- MapWidget, MapWidgetFactory
|
|
|
+ MapWidgetFactory
|
|
|
} from './widget';
|
|
|
|
|
|
import 'leaflet/dist/leaflet.css';
|
|
@@ -26,9 +26,9 @@ const EXTENSIONS = ['.geojson'];
|
|
|
* The geojson file handler extension.
|
|
|
*/
|
|
|
export
|
|
|
-const mapHandlerExtension = {
|
|
|
+const mapHandlerExtension: JupyterLabPlugin<void> = {
|
|
|
id: 'jupyter.extensions.mapHandler',
|
|
|
- requires: [DocumentRegistry],
|
|
|
+ requires: [IDocumentRegistry],
|
|
|
activate: activateMapWidget
|
|
|
};
|
|
|
|
|
@@ -36,7 +36,7 @@ const mapHandlerExtension = {
|
|
|
/**
|
|
|
* Activate the map widget extension.
|
|
|
*/
|
|
|
-function activateMapWidget(app: Application, registry: DocumentRegistry): void {
|
|
|
+function activateMapWidget(app: JupyterLab, registry: IDocumentRegistry): void {
|
|
|
let options = {
|
|
|
fileExtensions: EXTENSIONS,
|
|
|
displayName: 'Map',
|