From 52c40f226ab98ea62a24c75ae7ba1e134c679353 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jaakko=20Kera=CC=88nen?= Date: Tue, 10 May 2022 16:04:10 +0300 Subject: [PATCH 1/1] Updated release notes --- res/about/version.gmi | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/res/about/version.gmi b/res/about/version.gmi index 11b9a185..9191e68e 100644 --- a/res/about/version.gmi +++ b/res/about/version.gmi @@ -6,6 +6,13 @@ ``` # Release notes +## 1.13.4 +* TUI: Improved detection of supported color modes. The preferred mode is a modifiable palette with 256+ colors. As a fallback, use a fixed VGA palette, or basic monochrome if the terminal doesn't support colors. +* TUI: Tuned build flags in `build-tui.sh` as a Linux workaround (set `-O1` on SEALCurses). +* TUI: Ignore the LAGRANGE_OVERRIDE_DPI environment variable. +* Spartan: Fixed opening URLs in other apps via operating system handlers. +* Updated language strings. + ## 1.13.3 * Changed URL field bookmark indicator for better consistency. * Show a proper error page if server closes the connection before a header is fully received. -- 2.34.1