Fri Oct 9 07:04:11 2020 +0300
The DocumentWidget was not actually deleted when a tab was closed, only hidden.
src/app.c | 10 ++++++++-- src/app.h | 5 ++++- src/audio/player.c | 6 ++++++ src/audio/player.h | 2 ++ src/media.c | 4 ++-- src/ui/documentwidget.c | 40 ++++++++++++++++++++++++++++++++++++---- src/ui/util.c | 3 +-- src/ui/widget.c | 4 +++- 8 files changed, 62 insertions(+), 12 deletions(-)
=> Diff (Colored) | Diff (Colored, Plain Text) | 🔨 Patch
=> Parent 5b58cc76 | Repository This content has been proxied by September (ba2dc).Proxy Information
text/gemini; charset=utf-8