mirror of
https://github.com/urbit/shrub.git
synced 2024-12-02 21:34:04 +03:00
webterm: simpler TermState
Extending BaseState has fallen out of fashion.
This commit is contained in:
parent
da85ee2e38
commit
8b6b51b4da
@ -1,12 +1,12 @@
|
||||
import { Terminal } from 'xterm';
|
||||
import { FitAddon } from 'xterm-addon-fit';
|
||||
|
||||
import { BaseState, createState } from "./base";
|
||||
import { createState } from "./base";
|
||||
|
||||
type Session = { term: Terminal, fit: FitAddon };
|
||||
type Sessions = { [id: string]: Session; }
|
||||
|
||||
export interface TermState extends BaseState<TermState> {
|
||||
export interface TermState {
|
||||
sessions: Sessions,
|
||||
selected: string,
|
||||
slogstream: null | EventSource,
|
||||
|
Loading…
Reference in New Issue
Block a user