mirror of
https://github.com/agdamsbo/prioritized.grouping.git
synced 2025-09-12 02:29:40 +02:00
9 lines
317 B
TypeScript
9 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;
|