From 82ada6da4a3f6c03fce67fdbe4b0e75cdd40c469 Mon Sep 17 00:00:00 2001 From: crschnick Date: Fri, 29 Dec 2023 03:43:04 +0000 Subject: [PATCH] [stage] --- dist/changelogs/1.7.13.md | 7 +++++++ version | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/dist/changelogs/1.7.13.md b/dist/changelogs/1.7.13.md index cb20946ca..da2db4397 100644 --- a/dist/changelogs/1.7.13.md +++ b/dist/changelogs/1.7.13.md @@ -6,11 +6,18 @@ ## Changes +- Improve performance mode appearance setting gains by removing more styling +- Change layout of connection names and status to better handle very long + connection names across all window sizes +- Make any connection quickly renameable in the edit window without verifying whether we can actually connect +- ## Additions ## Fixes +- Fix some shells not properly setting up the PATH +- Fix git vault repository throwing initialization errors when shared with multiple Windows user permissions - Fix connections being accidentally listed under scripts category if they were added while scripts category was selected diff --git a/version b/version index 5cb12d09a..b78c9b1eb 100644 --- a/version +++ b/version @@ -1 +1 @@ -1.7.12 \ No newline at end of file +1.7.13 \ No newline at end of file