grummbeer 27b8df617d PeerCard. Menu. Remove peer also from favorites when deleted

2023-02-23 13:40:26 +01:00

..

formatter

fix formatId, right panel button style, default windows size (windows,

2022-09-20 19:31:32 +08:00

hbbs

1. fix get_api_server.

2023-01-28 21:24:49 +09:00

widgets

PeerCard. Menu. Remove peer also from favorites when deleted

2023-02-23 13:40:26 +01:00

shared_state.dart

Add peer option: zoom cursor & show menubar on conn

2022-11-16 18:07:58 +08:00