From 23b143f916c45b7d52767faeb1756448bce82f8e Mon Sep 17 00:00:00 2001 From: 02090095 Date: Tue, 25 Mar 2025 14:09:11 +0300 Subject: [PATCH] no message --- .idea/workspace.xml | 21 +-- properties | 2 +- .../CompilerOption/Json/OptionJson.java | 2 + .../CompilerOption/Json/OptionsJson.java | 1 + .../CompilerOption/Json/OptionsSetJson.java | 3 +- .../TestingSystem/Common/TestingServer.java | 21 ++- .../TestingSystem/Common/TestsDatabase.java | 127 ++++++++++++------ .../DVM/DVMSettings/DVMSettings.java | 3 + .../DVM/DVMSettings/UI/DVMSettingsFields.java | 3 +- 9 files changed, 107 insertions(+), 76 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 98c97ccb..3fb69734 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -7,30 +7,15 @@ - - - - - - - - - - + - + + - - - - - - -