Sun Jun 11 19:14:17 2023 +0300
Scrolling menus inside a window are always more cumbersome than
popups.
src/ui/util.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-)
=> Diff (Colored) | Diff (Colored, Plain Text) | 🔨 Patch
=> Parent fb7c6017 | Repository This content has been proxied by September (ba2dc).Proxy Information
text/gemini; charset=utf-8