From ce31d5dae245689b12de0e851ac492e63aebf8f9 Mon Sep 17 00:00:00 2001 From: 02090095 Date: Tue, 26 Dec 2023 19:12:30 +0300 Subject: [PATCH] =?UTF-8?q?=D0=9F=D1=80=D0=BE=D0=BC=D0=B5=D0=B6=D1=83?= =?UTF-8?q?=D1=82=D0=BE=D1=87=D0=BD=D1=8B=D0=B9.=20=D0=A0=D0=B5=D1=84?= =?UTF-8?q?=D0=B0=D0=BA=D1=82=D0=B8=D1=80=D0=B8=D0=BD=D0=B3=20=D1=84=D0=B8?= =?UTF-8?q?=D0=BB=D1=8C=D1=82=D1=80=D0=BE=D0=B2?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .idea/workspace.xml | 6 +- src/Common/Database/DBObjectFilter.java | 39 +++--- src/Common/Database/DataSet.java | 67 +++++++--- src/Common/Database/DataSetFilter.java | 44 ++++++- .../Common/Group/GroupsDBTable.java | 115 ++++-------------- .../Common/Group/GroupsMenuBar.java | 2 + .../DVM/DVMTasks/DVMRunTasksSet.java | 8 +- 7 files changed, 143 insertions(+), 138 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 823c8328..4f18841b 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -7,10 +7,12 @@ - - + + + +