промежуточный. хранение инфы о конфигах, группах и тестах пакета.пока отлаживается.

This commit is contained in:
2024-09-10 01:50:44 +03:00
parent 958ccbc9ab
commit 151572fd82
21 changed files with 274 additions and 54 deletions

View File

@@ -120,12 +120,11 @@ public class GlobalProperties extends Properties {
return Paths.get(System.getProperty("user.dir"), "properties").toFile();
}
//--
public GlobalProperties(){
public GlobalProperties() {
}
public GlobalProperties(GlobalProperties p) {
super();
Mode=p.Mode;
Mode = p.Mode;
ServerAddress = p.ServerAddress;
ServerUserName = p.ServerUserName;
ServerUserSHHPort = p.ServerUserSHHPort;

View File

@@ -56,6 +56,7 @@ public class MainMenuBar extends VisualiserMenuBar {
setPreferredSize(new Dimension(0, 30));
//---
/*
add(new MenuBarButton() {
{
setIcon("/icons/Apply.png");
@@ -65,6 +66,7 @@ public class MainMenuBar extends VisualiserMenuBar {
});
}
});
*/
ShowProject(false);
}
public void ShowUpdatesIcon() {

View File

@@ -37,5 +37,6 @@ public class VisualiserSettingsMenu extends VisualiserMenu {
SettingName.ComparsionDiffMergeOn
));
add(Global.db.settings.get(SettingName.Workspace).getMenuItem());
add(Global.db.settings.get(SettingName.BugReportsAgeLimit).getMenuItem());
}
}

View File

@@ -1280,11 +1280,36 @@ public class Utils {
}
public static long getNewestFileDate(File dir){
Vector<Long> dates = new Vector<>();
dates.add(dir.lastModified());
get_newest_file_date_r(dir, dates);
Collections.sort(dates);
if (dates.isEmpty()) {
dates.add(dir.lastModified());
}
System.out.println(new Date(dates.lastElement()));
return dates.firstElement();
}
//------------------------------------------------------->>>
public static Vector<Integer> unpack(String packed){
Vector<Integer> ids = new Vector<>();
String[] data = packed.split("\n");
if (data.length > 0) {
for (String s: data) {
if (!s.isEmpty())
ids.add(Integer.parseInt(s));
}
}
return ids;
}
public static Vector<String> unpack_s(String packed){
Vector<String> ids = new Vector<>();
String[] data = packed.split("\n");
if (data.length > 0) {
for (String s: data) {
if (!s.isEmpty())
ids.add(s);
}
}
return ids;
}
}