Commit 35546e40 authored by Michele Alberti's avatar Michele Alberti
Browse files

[dome] Avoid using ivette types in dome.

parent 1090fe92
......@@ -8,7 +8,6 @@
*/
import Emitter from 'events';
import * as KernelData from 'api/kernel/data';
import CodeMirror from 'codemirror/lib/codemirror.js';
export type Range = { from: CodeMirror.Position, to: CodeMirror.Position };
......@@ -34,6 +33,11 @@ export interface MarkerProps extends CodeMirror.TextMarkerOptions {
className?: string;
}
/**
* Text with tags.
*/
export type TextWithTags = null | string | TextWithTags[]
export interface CSSMarker {
/** Hover class `'dome-xHover-nnn'` */
classNameId: string;
......@@ -649,7 +653,7 @@ export class RichTextBuffer extends Emitter {
* Print text containing tags into buffer.
* @param options Specify particular marker options.
*/
printTextWithTags(contents: KernelData.text, options?: MarkerProps) {
printTextWithTags(contents: TextWithTags, options?: MarkerProps) {
if (Array.isArray(contents)) {
let marker = false;
const tag = contents.shift();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment