export class Tip { public element: HTMLElement; constructor() { this.element = document.createElement("div"); this.element.className = "vditor-tip"; } public show(text: string, time: number = 6000) { this.element.className = "vditor-tip vditor-tip--show"; if (time === 0) { this.element.innerHTML = `