import { demoFunc } from './dees-dataview-codebox.demo.js'; import { DeesElement, html, customElement, type TemplateResult, property, state, cssManager, } from '@design.estate/dees-element'; import { cssGeistFontFamily, cssMonoFontFamily } from '../../00fonts.js'; import type { HLJSApi } from 'highlight.js'; import * as smartstring from '@push.rocks/smartstring'; import * as domtools from '@design.estate/dees-domtools'; import { DeesContextmenu } from '../../00group-overlay/dees-contextmenu/dees-contextmenu.js'; import { DeesServiceLibLoader } from '../../../services/index.js'; declare global { interface HTMLElementTagNameMap { 'dees-dataview-codebox': DeesDataviewCodebox; } } @customElement('dees-dataview-codebox') export class DeesDataviewCodebox extends DeesElement { public static demo = demoFunc; public static demoGroups = ['Data View', 'Workspace']; @property() accessor progLang: string = 'typescript'; @property({ type: String, reflect: true, }) accessor codeToDisplay: string = ''; constructor() { super(); } render(): TemplateResult { return html` ${domtools.elementBasic.styles}