urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-20 01:01:37 +03:00
Code Issues Packages Projects Releases Wiki Activity
29,020 Commits 768 Branches 10 Tags 215 MiB
438e6d4df9
Commit Graph

3 Commits

Author SHA1 Message Date
tomholford
438e6d4df9 ui: style tabs 
also rename join --> useDark; clean up extraneous logging statements
 2022-03-03 17:10:54 -06:00
tomholford
fe1ece47d8 api: clean up subscriptions on deletion of session 
On subscribe, track the subcription ID in the Session state.

On deletion, unsubscribe using the same ID.
 2022-03-03 17:09:38 -06:00
fang
d98611a04b
webterm: support multiple sessions 
Fully implements webterm support for multiple dill terminal sessions.

Remaining work includes styling, session creation safety (name-wise),
and general cleanup.

Co-authored-by: tomholford <tomholford@users.noreply.github.com>
Co-authored-by: liam-fitzgerald <liam@tlon.io>
 2022-03-02 17:34:19 -06:00