(color?: string)
| 41 | import {Pane} from './pane.js'; |
| 42 | |
| 43 | function makeAnsiToHtml(color?: string) { |
| 44 | return new AnsiToHtml.Filter({ |
| 45 | fg: color ? color : '#333', |
| 46 | bg: '#f5f5f5', |
| 47 | stream: true, |
| 48 | escapeXML: true, |
| 49 | }); |
| 50 | } |
| 51 | |
| 52 | export class Output extends Pane<OutputState> { |
| 53 | contentRoot: JQuery<HTMLElement>; |