Method injectNotice

src/ide.ts:2388–2405

(type:string, message:string|ElemGen)

  }

  injectNotice(type:string, message:string|ElemGen) {
    let time = Date.now();
    let existing;
    for(let notice of this.notices) {
      if(notice.type === type && notice.message === message) {
        existing = notice;
        existing.time = time;
        break;
      }
    }
    if(!existing) {
      existing = {type, message, time};
      this.notices.push(existing);
    }
    this.render();
    this.editor.cm.refresh();
    return existing;
  }

  dismissNotice(notice) {
    let ix = this.notices.indexOf(notice);