From 2a82fe6cf20ad458989c8e59090d66aa803afaa0 Mon Sep 17 00:00:00 2001 From: Andreas Hilbig Date: Wed, 28 Jan 2026 11:52:20 +0100 Subject: [PATCH] chore: update `.idea/workspace.xml` and project guidelines - Refined IntelliJ IDEA settings in `.idea/workspace.xml`, including updates to `ProblemsViewState` and `PropertiesComponent` for project consistency. - Renamed and expanded `.junie/guidelines.md` to reflect updated best practices, project structure, and development workflows. --- .idea/workspace.xml | 111 ++++++++++++++++++++----------------------- .junie/guidelines.md | 39 +++++++++++++-- 2 files changed, 87 insertions(+), 63 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 0d3cb38..a135d93 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -5,29 +5,8 @@ - - - - - - - - - - - - - - - - - - - - - - + + + { "associatedIndex": 2 } @@ -76,44 +58,45 @@