TypeScript h.pre方法代碼示例

          execute: () => {
            // Create the header of the about dialog
            let headerLogo = h.img({ src: kernelIconUrl});
            let title = h.span({className: 'jp-About-header'},
              headerLogo,
              h.div({className: 'jp-About-header-info'}, kernelName)
            );
            const banner = h.pre({}, kernelInfo.banner);
            let body = h.div({ className: 'jp-About-body' },
              banner
            );

            showDialog({
              title,
              body,
              buttons: [
                Dialog.createButton({
                  label: 'DISMISS',
                  className: 'jp-About-button jp-mod-reject jp-mod-styled'
                })
              ]
            });
          }

 builder.getStatus().then(response => {
   if (response.status === 'building') {
     return doBuild();
   }
   if (response.status !== 'needed') {
     return;
   }
   let body = h.div(
     h.p(
       'JupyterLab build is suggested:',
       h.br(),
       h.pre(response.message)
     )
   );
   showDialog({
     title: 'Build Recommended',
     body,
     buttons: [Dialog.cancelButton(), Dialog.okButton({ label: 'BUILD' })]
   }).then(result => {
     if (result.button.accept) {
       return doBuild();
     }
   });
 });

  activate: (app: JupyterLab, palette: ICommandPalette) => {
    // If there were errors registering plugins, tell the user.
    if (app.registerPluginErrors.length !== 0) {
      const body = h.pre(app.registerPluginErrors.map(e => e.message).join('\n'));
      let options = {
        title: 'Error Registering Plugins',
        body,
        buttons: [Dialog.okButton()],
        okText: 'DISMISS'
      };
      showDialog(options).then(() => { /* no-op */ });
    }

    addCommands(app, palette);

    // If the currently active widget changes,
    // trigger a refresh of the commands.
    app.shell.currentChanged.connect(() => {
      app.commands.notifyCommandChanged(CommandIDs.closeAll);
    });

    let builder = app.serviceManager.builder;

    let doBuild = () => {
      return builder.build().then(() => {
        return showDialog({
          title: 'Build Complete',
          body: 'Build successfully completed, reload page?',
          buttons: [Dialog.cancelButton(),
                    Dialog.warnButton({ label: 'RELOAD' })]
        });
      }).then(result => {
        if (result.button.accept) {
          location.reload();
        }
      }).catch(err => {
        showDialog({
          title: 'Build Failed',
          body: h.pre(err.message)
        });
      });
    };

    if (builder.isAvailable && builder.shouldCheck) {
      builder.getStatus().then(response => {
        if (response.status === 'building') {
          return doBuild();
        }
        if (response.status !== 'needed') {
          return;
        }
        let body = h.div(
          h.p(
            'JupyterLab build is suggested:',
            h.br(),
            h.pre(response.message)
          )
        );
        showDialog({
          title: 'Build Recommended',
          body,
          buttons: [Dialog.cancelButton(), Dialog.okButton({ label: 'BUILD' })]
        }).then(result => {
          if (result.button.accept) {
            return doBuild();
          }
        });
      });
    }

    const message = 'Are you sure you want to exit JupyterLab?\n' +
                    'Any unsaved changes will be lost.';

    // The spec for the `beforeunload` event is implemented differently by
    // the different browser vendors. Consequently, the `event.returnValue`
    // attribute needs to set in addition to a return value being returned.
    // For more information, see:
    // https://developer.mozilla.org/en/docs/Web/Events/beforeunload
    window.addEventListener('beforeunload', event => {
      if (app.isDirty) {
        return (event as any).returnValue = message;
      }
    });
  },

 it('should create the appropriate element tag', () => {
   expect(h.a().tag).to.equal('a');
   expect(h.abbr().tag).to.equal('abbr');
   expect(h.address().tag).to.equal('address');
   expect(h.area().tag).to.equal('area');
   expect(h.article().tag).to.equal('article');
   expect(h.aside().tag).to.equal('aside');
   expect(h.audio().tag).to.equal('audio');
   expect(h.b().tag).to.equal('b');
   expect(h.bdi().tag).to.equal('bdi');
   expect(h.bdo().tag).to.equal('bdo');
   expect(h.blockquote().tag).to.equal('blockquote');
   expect(h.br().tag).to.equal('br');
   expect(h.button().tag).to.equal('button');
   expect(h.canvas().tag).to.equal('canvas');
   expect(h.caption().tag).to.equal('caption');
   expect(h.cite().tag).to.equal('cite');
   expect(h.code().tag).to.equal('code');
   expect(h.col().tag).to.equal('col');
   expect(h.colgroup().tag).to.equal('colgroup');
   expect(h.data().tag).to.equal('data');
   expect(h.datalist().tag).to.equal('datalist');
   expect(h.dd().tag).to.equal('dd');
   expect(h.del().tag).to.equal('del');
   expect(h.dfn().tag).to.equal('dfn');
   expect(h.div().tag).to.equal('div');
   expect(h.dl().tag).to.equal('dl');
   expect(h.dt().tag).to.equal('dt');
   expect(h.em().tag).to.equal('em');
   expect(h.embed().tag).to.equal('embed');
   expect(h.fieldset().tag).to.equal('fieldset');
   expect(h.figcaption().tag).to.equal('figcaption');
   expect(h.figure().tag).to.equal('figure');
   expect(h.footer().tag).to.equal('footer');
   expect(h.form().tag).to.equal('form');
   expect(h.h1().tag).to.equal('h1');
   expect(h.h2().tag).to.equal('h2');
   expect(h.h3().tag).to.equal('h3');
   expect(h.h4().tag).to.equal('h4');
   expect(h.h5().tag).to.equal('h5');
   expect(h.h6().tag).to.equal('h6');
   expect(h.header().tag).to.equal('header');
   expect(h.hr().tag).to.equal('hr');
   expect(h.i().tag).to.equal('i');
   expect(h.iframe().tag).to.equal('iframe');
   expect(h.img().tag).to.equal('img');
   expect(h.input().tag).to.equal('input');
   expect(h.ins().tag).to.equal('ins');
   expect(h.kbd().tag).to.equal('kbd');
   expect(h.label().tag).to.equal('label');
   expect(h.legend().tag).to.equal('legend');
   expect(h.li().tag).to.equal('li');
   expect(h.main().tag).to.equal('main');
   expect(h.map().tag).to.equal('map');
   expect(h.mark().tag).to.equal('mark');
   expect(h.meter().tag).to.equal('meter');
   expect(h.nav().tag).to.equal('nav');
   expect(h.noscript().tag).to.equal('noscript');
   expect(h.object().tag).to.equal('object');
   expect(h.ol().tag).to.equal('ol');
   expect(h.optgroup().tag).to.equal('optgroup');
   expect(h.option().tag).to.equal('option');
   expect(h.output().tag).to.equal('output');
   expect(h.p().tag).to.equal('p');
   expect(h.param().tag).to.equal('param');
   expect(h.pre().tag).to.equal('pre');
   expect(h.progress().tag).to.equal('progress');
   expect(h.q().tag).to.equal('q');
   expect(h.rp().tag).to.equal('rp');
   expect(h.rt().tag).to.equal('rt');
   expect(h.ruby().tag).to.equal('ruby');
   expect(h.s().tag).to.equal('s');
   expect(h.samp().tag).to.equal('samp');
   expect(h.section().tag).to.equal('section');
   expect(h.select().tag).to.equal('select');
   expect(h.small().tag).to.equal('small');
   expect(h.source().tag).to.equal('source');
   expect(h.span().tag).to.equal('span');
   expect(h.strong().tag).to.equal('strong');
   expect(h.sub().tag).to.equal('sub');
   expect(h.summary().tag).to.equal('summary');
   expect(h.sup().tag).to.equal('sup');
   expect(h.table().tag).to.equal('table');
   expect(h.tbody().tag).to.equal('tbody');
   expect(h.td().tag).to.equal('td');
   expect(h.textarea().tag).to.equal('textarea');
   expect(h.tfoot().tag).to.equal('tfoot');
   expect(h.th().tag).to.equal('th');
   expect(h.thead().tag).to.equal('thead');
   expect(h.time().tag).to.equal('time');
   expect(h.title().tag).to.equal('title');
   expect(h.tr().tag).to.equal('tr');
   expect(h.track().tag).to.equal('track');
   expect(h.u().tag).to.equal('u');
   expect(h.ul().tag).to.equal('ul');
   expect(h.var_().tag).to.equal('var');
   expect(h.video().tag).to.equal('video');
   expect(h.wbr().tag).to.equal('wbr');
 });