Collab ui tweaks (#913)

* decrease gap between menu icons

* reduce margin of copy button

* add collaboratorsCount to roomDialog toggle button
This commit is contained in:
David Luzar 2020-03-11 22:48:27 +01:00 committed by GitHub
parent b82b0754ac
commit 2db2f3f5e4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 37 additions and 7 deletions

View file

@ -234,6 +234,8 @@ export class App extends React.Component<any, AppState> {
private destroySocketClient = () => {
this.setState({
isCollaborating: false,
remotePointers: {},
collaboratorCount: 0,
});
if (this.socket) {
this.socket.close();