|
@@ -1,6 +1,8 @@
|
|
// Copyright (c) Jupyter Development Team.
|
|
// Copyright (c) Jupyter Development Team.
|
|
// Distributed under the terms of the Modified BSD License.
|
|
// Distributed under the terms of the Modified BSD License.
|
|
|
|
|
|
|
|
+import json2html = require('json-to-html');
|
|
|
|
+
|
|
import {
|
|
import {
|
|
simulate
|
|
simulate
|
|
} from 'simulate-event';
|
|
} from 'simulate-event';
|
|
@@ -9,6 +11,10 @@ import {
|
|
createServiceManager, utils, IServiceManager
|
|
createServiceManager, utils, IServiceManager
|
|
} from 'jupyter-js-services';
|
|
} from 'jupyter-js-services';
|
|
|
|
|
|
|
|
+import {
|
|
|
|
+ Widget
|
|
|
|
+} from 'phosphor/lib/ui/widget';
|
|
|
|
+
|
|
import {
|
|
import {
|
|
TextModelFactory, IDocumentModel
|
|
TextModelFactory, IDocumentModel
|
|
} from '../../lib/docregistry';
|
|
} from '../../lib/docregistry';
|
|
@@ -134,6 +140,7 @@ namespace Private {
|
|
export
|
|
export
|
|
const notebookFactory = new NotebookModelFactory();
|
|
const notebookFactory = new NotebookModelFactory();
|
|
|
|
|
|
|
|
+
|
|
class JSONRenderer extends HTMLRenderer {
|
|
class JSONRenderer extends HTMLRenderer {
|
|
/**
|
|
/**
|
|
* The mimetypes this renderer accepts.
|
|
* The mimetypes this renderer accepts.
|