瀏覽代碼

Make kernel optional in widgetfactory createnew

Steven Silvester 9 年之前
父節點
當前提交
ae1a19d918
共有 2 個文件被更改,包括 2 次插入2 次删除
  1. 1 1
      src/docmanager/default.ts
  2. 1 1
      src/docmanager/index.ts

+ 1 - 1
src/docmanager/default.ts

@@ -281,7 +281,7 @@ class WidgetFactory implements IWidgetFactory<EditorWidget> {
   /**
    * Create a new widget given a document model and a context.
    */
-  createNew(model: IDocumentModel, context: IDocumentContext, kernel: IKernelId): EditorWidget {
+  createNew(model: IDocumentModel, context: IDocumentContext, kernel?: IKernelId): EditorWidget {
     // TODO: if a kernel id or a name other than 'none' or 'default'
     // was given, start that kernel
     return new EditorWidget(model, context);

+ 1 - 1
src/docmanager/index.ts

@@ -262,7 +262,7 @@ interface IWidgetFactory<T extends Widget> extends IDisposable {
   /**
    * Create a new widget.
    */
-  createNew(model: IDocumentModel, context: IDocumentContext, kernel: IKernelId): T;
+  createNew(model: IDocumentModel, context: IDocumentContext, kernel?: IKernelId): T;
 
   /**
    * Take an action on a widget before closing it.