From 7a06c2ce2b20c4041028a5bee460c78ec6b91a1a Mon Sep 17 00:00:00 2001 From: 02090095 Date: Sat, 11 Jan 2025 22:48:00 +0300 Subject: [PATCH] no message --- .idea/workspace.xml | 6 +++--- properties | 1 + src/_VisualDVM/GlobalData/Settings/SettingName.java | 3 --- .../GlobalData/Settings/SettingsDBTable.java | 2 -- .../Windows/WindowsLocalCompilationSupervisor.java | 2 +- src/_VisualDVM/GlobalProperties.java | 4 ++++ src/_VisualDVM/Passes/All/Precompilation.java | 4 ++-- src/_VisualDVM/Passes/All/UpdateProperty.java | 6 ++++++ src/_VisualDVM/Passes/All/UpdateSetting.java | 6 ------ .../VisualiserSettingsMenu.java | 11 +++++++++-- 10 files changed, 26 insertions(+), 19 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 9e0946df..b334de4a 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -10,12 +10,12 @@ + + - - - +