Fri Dec 4 09:04:49 2020 +0200
A sidebar on the right is a better solution than a kludgy non-interactive special-purpose outline that appears when hoving the mouse on the document scrollbar.
src/app.c | 16 +++-- src/ui/documentwidget.c | 4 +- src/ui/sidebarwidget.c | 182 +++++++++++++++++++++++++++--------------------- src/ui/sidebarwidget.h | 7 +- src/ui/util.c | 4 +- src/ui/widget.c | 13 ++-- src/ui/widget.h | 9 +-- src/ui/window.c | 14 ++-- 8 files changed, 148 insertions(+), 101 deletions(-)
=> Diff (Colored) | Diff (Colored, Plain Text) | 🔨 Patch
=> Parent 9fde33bb | Repository This content has been proxied by September (ba2dc).Proxy Information
text/gemini; charset=utf-8