diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-11-29 17:44:40 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-11-29 17:44:40 +0200 |
| commit | c033e49844cd397922be579adc779b45f4de7c90 (patch) | |
| tree | 5b30c20513b55a3951e892dbdd8ceedb6b2ee143 | |
| parent | 7871b6ba3699b61d2d6dd15e27ddb3279bb029e8 (diff) | |
Updated release notes
| -rw-r--r-- | res/about/version.gmi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/res/about/version.gmi b/res/about/version.gmi index 7829a11b..e8973c0f 100644 --- a/res/about/version.gmi +++ b/res/about/version.gmi | |||
| @@ -9,8 +9,9 @@ | |||
| 9 | ## 1.9.1 | 9 | ## 1.9.1 |
| 10 | * Added "24-Hour Time" preference. Currently it only affects the page timestamp in the bottom left corner. | 10 | * Added "24-Hour Time" preference. Currently it only affects the page timestamp in the bottom left corner. |
| 11 | * Heading level 3 is indented like regular text lines, making the difference to level 2 evident. | 11 | * Heading level 3 is indented like regular text lines, making the difference to level 2 evident. |
| 12 | * Fixed layout of tab buttons and other resizing widgets so all available space is used. | 12 | * Fixed crash when creating a top-level bookmark. |
| 13 | * Fixed drawing the page timestamp. | 13 | * Fixed drawing the page timestamp. |
| 14 | * Fixed layout of tab buttons and other resizing widgets so all available space is used. | ||
| 14 | * Fixed tab close buttons preventing activation of very short tab buttons. The close buttons only appear if there is room for them. | 15 | * Fixed tab close buttons preventing activation of very short tab buttons. The close buttons only appear if there is room for them. |
| 15 | * Fixed very short tab labels not getting truncated. | 16 | * Fixed very short tab labels not getting truncated. |
| 16 | * Fixed the New Tab button not staying at the right edge of the window, depending on how many tabs are open. | 17 | * Fixed the New Tab button not staying at the right edge of the window, depending on how many tabs are open. |