Fri Sep 18 23:51:02 2020 +0300
The contents of the menu depend on what is clicked and whether text has been selected.
src/ui/documentwidget.c | 63 +++++++++++++++++++++++++++++++++---------------- 1 file changed, 43 insertions(+), 20 deletions(-)
=> Diff (Colored) | Diff (Colored, Plain Text) | 🔨 Patch
=> Parent 01b09cc3 | Repository This content has been proxied by September (3851b).Proxy Information
text/gemini; charset=utf-8