From 35546e4019839d0ac035b08f412c9abd6632091c Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 28 Jul 2020 13:33:12 +0200
Subject: [PATCH] [dome] Avoid using ivette types in dome.
---
ivette/src/dome/src/renderer/text/buffers.ts | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/ivette/src/dome/src/renderer/text/buffers.ts b/ivette/src/dome/src/renderer/text/buffers.ts
index dec2ee208d6..0841f03719f 100644
--- a/ivette/src/dome/src/renderer/text/buffers.ts
+++ b/ivette/src/dome/src/renderer/text/buffers.ts
@@ -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();
--
GitLab