Philipinho 8cc7d39146 websocket updates ...

* sync page title on icon via websocket
* sync on page tree too

2024-04-27 15:40:22 +01:00

..

client

websocket updates

2024-04-27 15:40:22 +01:00

server

websocket updates

2024-04-27 15:40:22 +01:00