Mon Dec 13 10:58:59 2021 +0200
Resource paths, runtime data, ignore mouse events. Assume that
the Java side tells us the display pixel density via a command
line argument.
src/app.c | 39 ++++++++++++++++++++++++---- src/resources.c | 20 +++++++++++++-- src/ui/documentwidget.c | 68 ++++++++++++++++++++++++------------------------- src/ui/touch.c | 4 +++ src/ui/window.c | 10 +++++++- 5 files changed, 99 insertions(+), 42 deletions(-)
=> Diff (Colored) | Diff (Colored, Plain Text) | 🔨 Patch
=> Parent 74de1ab5 | Repository This content has been proxied by September (3851b).Proxy Information
text/gemini; charset=utf-8