grummbeer 6ae0456c45 PeerCard. Menu. Change button text "remove" to "delete"

6ae0456c45 · 2023-02-23 13:40:26 +01:00

History

..

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. Change button text "remove" to "delete"

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