sagemathinc / cocalc

CoCalc: Collaborative Calculation in the Cloud
https://CoCalc.com
Other
1.14k stars 207 forks source link

terminal: if the terminal is not maximal size due to other users, make this extremely clear and explain how to eject them. #7622

Open williamstein opened 3 weeks ago

williamstein commented 3 weeks ago

It's easy to think everything is broken if you don't realize multiple browsers are using a given terminal!

E.g., no output... because your terminal is 1 line tall! Terminals all collaborative, so multiple browsers can have the same terminal opened at once. In this case the size of the terminal is the minimum of all browsers using it. You have at least one browser somewhere with that particular terminal shrunk really small.

WORKAROUND: Don't worry, there is a menu item Go --> Kick Other Users out. Click it and that will close this specific terminal frame on all other browsers, giving your current browser the full space.

The fix though should be to have a very clear indicator somewhere (?) that there are other viewers (usually you in another browser) and as a result things are shrunk, and include a button right there to eject them all.