From 52d46b75d25c9c2101727578b398bea248d6dba7 Mon Sep 17 00:00:00 2001 From: Jeremy Wootten Date: Sat, 18 Oct 2025 17:13:53 +0000 Subject: [PATCH 1/2] Metainfo for v8.1.2 --- data/code.metainfo.xml.in | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/data/code.metainfo.xml.in b/data/code.metainfo.xml.in index 5eb66e13a..bd9d3343d 100644 --- a/data/code.metainfo.xml.in +++ b/data/code.metainfo.xml.in @@ -68,6 +68,21 @@ contact_AT_elementary.io + + +

Minor updates:

+
    +
  • The tooltips for C symbols are now more informative
  • +
  • Cloning success is now indicated by toast instead of a dialog
  • +
  • Global search and local search now have the same case sensitivity
  • +
  • Updated translations
  • +
+
+ + Git clone success dialog should be a toast + Global Search case sensitivity behaviour differs from local search + +

Minor updates:

From 1c6f18a0e04d45a67e1320f09f3b3a66502dde44 Mon Sep 17 00:00:00 2001 From: Jeremy Wootten Date: Wed, 29 Oct 2025 17:24:03 +0000 Subject: [PATCH 2/2] Update for latest PR merge --- data/code.metainfo.xml.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/data/code.metainfo.xml.in b/data/code.metainfo.xml.in index bd9d3343d..ec4688fc6 100644 --- a/data/code.metainfo.xml.in +++ b/data/code.metainfo.xml.in @@ -68,18 +68,20 @@ contact_AT_elementary.io - +

Minor updates:

  • The tooltips for C symbols are now more informative
  • Cloning success is now indicated by toast instead of a dialog
  • Global search and local search now have the same case sensitivity
  • +
  • Opening a second window no longer results in duplicate project entries in the project chooser
  • Updated translations
Git clone success dialog should be a toast + Duplicate projects in dropdown after opening second window from duplicate tab Global Search case sensitivity behaviour differs from local search