From 52c40f226ab98ea62a24c75ae7ba1e134c679353 Mon Sep 17 00:00:00 2001

From: =?UTF-8?q?Jaakko=20Kera=CC=88nen?= jaakko.keranen@iki.fi

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.25.1