From fc60b78784ae604b7c2c5dc4ff12ef9f48dbd577 Mon Sep 17 00:00:00 2001 From: 02090095 Date: Sat, 11 Jan 2025 19:32:54 +0300 Subject: [PATCH] no message --- .idea/workspace.xml | 6 ++++-- properties | 3 ++- src/_VisualDVM/GlobalData/Settings/SettingName.java | 4 +--- .../GlobalData/Settings/SettingsDBTable.java | 1 - src/_VisualDVM/GlobalProperties.java | 4 ++++ src/_VisualDVM/MainModule.java | 2 +- src/_VisualDVM/Passes/All/UpdateProperty.java | 8 ++++++++ src/_VisualDVM/Passes/All/UpdateSetting.java | 10 ---------- .../CompactnessSettingsMenu.java | 2 +- 9 files changed, 21 insertions(+), 19 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 11281a21..b3ff8f3e 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -8,11 +8,13 @@ - - + + + +