From 38c228f235dd1b56ab1c48c549b091376bbbafdc Mon Sep 17 00:00:00 2001 From: Bruno Alves <23121981+balv82@users.noreply.github.com> Date: Tue, 23 Jun 2026 16:04:44 +0200 Subject: [PATCH 1/2] fix #355: add Utilisateurs navigation button on user groups page --- extract/src/main/resources/messages_de.properties | 1 + extract/src/main/resources/messages_en.properties | 1 + extract/src/main/resources/messages_fr.properties | 1 + .../src/main/resources/templates/pages/userGroups/list.html | 5 +++++ 4 files changed, 8 insertions(+) diff --git a/extract/src/main/resources/messages_de.properties b/extract/src/main/resources/messages_de.properties index 90fcd746..b3c32ef9 100644 --- a/extract/src/main/resources/messages_de.properties +++ b/extract/src/main/resources/messages_de.properties @@ -507,6 +507,7 @@ userGroupDetails.page.title.edit=Bearbeitung der Benutzergruppe "{0}" #User groups list page userGroupsList.body.title=Benutzergruppen userGroupsList.new.button=Neue Gruppe +userGroupsList.users.button=Benutzer userGroupsList.buttons.delete.active.tooltip=Diese Gruppe löschen userGroupsList.buttons.delete.inactive.tooltip=Diese Gruppe kann nicht gelöscht werden, da sie mindestens einer Verarbeitung zugewiesen ist. userGroupsList.errors.userGroup.delete.failed=Bei der Löschung der Benutzergruppe ist ein Fehler aufgetreten. Bitte versuchen Sie es später erneut. diff --git a/extract/src/main/resources/messages_en.properties b/extract/src/main/resources/messages_en.properties index a9a8df83..51ba10a1 100644 --- a/extract/src/main/resources/messages_en.properties +++ b/extract/src/main/resources/messages_en.properties @@ -503,6 +503,7 @@ userGroupDetails.page.title.edit=Editing user group "{0}" #User groups list page userGroupsList.body.title=User groups userGroupsList.new.button=New group +userGroupsList.users.button=Users userGroupsList.buttons.delete.active.tooltip=Delete this group userGroupsList.buttons.delete.inactive.tooltip=This group cannot be deleted because it is assigned to at least one process. userGroupsList.errors.userGroup.delete.failed=An error occurred while deleting the user group. Please try again later. diff --git a/extract/src/main/resources/messages_fr.properties b/extract/src/main/resources/messages_fr.properties index f746555d..59168173 100644 --- a/extract/src/main/resources/messages_fr.properties +++ b/extract/src/main/resources/messages_fr.properties @@ -506,6 +506,7 @@ userGroupDetails.page.title.edit=\u00c9dition du groupe d'utilisateurs "{0}" #User groups list page userGroupsList.body.title=Groupes d'utilisateurs userGroupsList.new.button=Nouveau groupe +userGroupsList.users.button=Utilisateurs userGroupsList.buttons.delete.active.tooltip=Supprimer ce groupe userGroupsList.buttons.delete.inactive.tooltip=Ce groupe ne peut pas \u00eatre supprim\u00e9 car il est affect\u00e9 \u00e0 au moins un traitement. userGroupsList.errors.userGroup.delete.failed=Une erreur s'est produite lors de la suppression du groupe d'utilisateurs. Veuillez r\u00e9essayer plus tard. diff --git a/extract/src/main/resources/templates/pages/userGroups/list.html b/extract/src/main/resources/templates/pages/userGroups/list.html index 8396c45d..bd858111 100644 --- a/extract/src/main/resources/templates/pages/userGroups/list.html +++ b/extract/src/main/resources/templates/pages/userGroups/list.html @@ -12,6 +12,11 @@