blink1073

if [ "$#" -ne 1 ]; then
    echo "Specify the target"
fi
# copy default files
cp tsconfig.json $1
cp package.json $1
cd $1
# make source and optionally style directories
mkdir src
git mv *.ts src

blink1073

interface ISignal<T, U> { };
interface ITextSelection { };
interface JSONValue { };
interface JSONObject { };
interface IMap<T> extends Map<string, T> { };
interface JSONMap extends IMap<JSONValue> { };


// Editor

blink1073

// Copyright (c) Jupyter Development Team.
// Distributed under the terms of the Modified BSD License.

import {
  IDisposable
} from 'phosphor/lib/core/disposable';

import {
  Message
} from 'phosphor/lib/core/messaging';

blink1073

import {
  INotebookSession, IKernelSpecIds, ContentsManager, startNewSession,
  getKernelSpecs
} from 'jupyter-js-services';


/**
 * Fetch notebook contents by path.
 */

blink1073

# -*- coding: utf-8 -*-
#
# Copyright © 2016 The Spyder development team
# Licensed under the terms of the MIT License
# (see spyderlib/__init__.py for details)

import socket
import errno
import os
import sys

blink1073

/**
 * Implementation of a kernel future.
 */
class KernelFutureHandler implements IKernelFuture {

  constructor(kernel: IKernel, msgId: string, shellPromise: Promise<IKernelMessage>) {
    this._msgId = msgId;
    this.autoDispose = false;
    this._kernel = kernel;

blink1073

// Copyright (c) Jupyter Development Team.
// Distributed under the terms of the Modified BSD License.

/**
 *  A bunch of predefined `Simple Actions` used by Jupyter.
 *  `Simple Actions` have the following keys:
 *  help (optional): a short string the describe the action.
 *  will be used in various context, like as menu name, tool tips on buttons,
 *  and short description in help menu.
 *  help_index (optional): a string used to sort action in help menu.

blink1073

class Service {

  constructor() {
    this._onReady = new Promise<void>((resolve, reject) => {
       this._finishInit = resolve;
    });
  }

  /**
   * Promise fullfilled when the object is initialized.

blink1073

blink1073