From b48e2c995d62e0cb5e1c074acc34ebf7410363cc Mon Sep 17 00:00:00 2001 From: 02090095 Date: Sat, 11 Jan 2025 20:02:03 +0300 Subject: [PATCH] no message --- .idea/workspace.xml | 3 ++- properties | 3 ++- .../GlobalData/Settings/SettingName.java | 4 ---- .../GlobalData/Settings/SettingsDBTable.java | 1 - src/_VisualDVM/GlobalProperties.java | 4 ++++ src/_VisualDVM/Passes/All/UpdateProperty.java | 17 +++++++++++++++++ src/_VisualDVM/Passes/All/UpdateSetting.java | 14 -------------- .../MainMenuBar/LastOpenedProjectsMenu.java | 2 +- .../CompactnessSettingsMenu.java | 4 ++-- 9 files changed, 28 insertions(+), 24 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index b3ff8f3e..ce2e2df2 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -8,12 +8,13 @@ + - +