mirror of
https://github.com/agdamsbo/prioritized.grouping.git
synced 2025-09-12 02:29:40 +02:00
10 lines
317 B
TypeScript
10 lines
317 B
TypeScript
|
import React from 'react';
|
||
|
import { TerminalInterface } from '../App';
|
||
|
import { WebR } from '../../webR/webr-main';
|
||
|
import 'xterm/css/xterm.css';
|
||
|
export declare function Terminal({ webR, terminalInterface, }: {
|
||
|
webR: WebR;
|
||
|
terminalInterface: TerminalInterface;
|
||
|
}): React.JSX.Element;
|
||
|
export default Terminal;
|