grummbeer 8c3be1c8ce PeerCard. Menu. Add label to text input on "rename"

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. Add label to text input on "rename"

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