v++

fix визуального бага с деревом. Для корректной перерисовки узла нужно перерисовать его персонально.

properties

@@ -1,6 +1,6 @@
 {
   "Workspace": "E:\\Tests",
-  "ProjectsSearchDirectory": "E:\\BUG",
+  "ProjectsSearchDirectory": "C:\\Users\\misha\\Documents\\visual_sapfor_2023\\Downloads\\bugreport_1732787997\\reg_detect_titan\\v7",
   "VisualiserPath": "C:\\Users\\misha\\Downloads",
   "Sapfor_FPath": "E:\\_sapfor_x64\\Components\\Sapfor_F",
   "Visualizer_2Path": "C:\\Users\\misha\\Documents",
@@ -11,7 +11,7 @@
   "AutoTestsLoad": true,
   "ConfirmPassesStart": true,
   "ShowPassesDone": true,
-  "FocusPassesResult": true,
+  "FocusPassesResult": false,
   "collapseCredentials": false,
   "collapseFileGraphs": false,
   "collapseFileMessages": false,

src/Common/Visual/Trees/TreeForm.java

@@ -12,7 +12,7 @@ public class TreeForm<C extends StyledTree> extends ControlForm<C> {
     }
     @Override
     protected void redrawControl() {
-        getTree().revalidate();
+      getTree().revalidate();
-        getTree().repaint();
+      getTree().repaint();
     }
 }

src/_VisualDVM/Passes/All/SPF_GetGraphFunctions.java

@@ -141,5 +141,10 @@ public class SPF_GetGraphFunctions extends SapforAnalysis {
         if (Global.mainModule.HasFile())
             Global.mainModule.getFile().form.ShowFunctions();
         Global.mainModule.getPass(PassCode.SPF_GetGraphFunctionPositions).Do();
+        //--
+        DBProjectFile main=target.getMainProgramUnit();
+        if (main!=null){
+            Global.mainModule.getUI().getMainWindow().getProjectWindow().getFilesTreeForm().getTree().RefreshNode(main.node);
+        }
     }
 }

src/_VisualDVM/Passes/All/SPF_ParseFilesWithOrder.java

@@ -11,6 +11,8 @@ import _VisualDVM.Repository.Component.Sapfor.Sapfor;
 import _VisualDVM.Repository.Component.Sapfor.TransformationPermission;
 import org.apache.commons.io.FileUtils;
 
+import javax.swing.tree.DefaultMutableTreeNode;
+import javax.swing.tree.TreeNode;
 import java.util.Vector;
 public class SPF_ParseFilesWithOrder extends SapforAnalysis {
     public static boolean silent = false;

src/_VisualDVM/ProjectData/Project/db_project_info.java

@@ -1539,4 +1539,11 @@ public class db_project_info extends DBObject {
         }
         return true;
     }
+    public DBProjectFile getMainProgramUnit(){
+        for (DBProjectFile file: db.files.Data.values()){
+            if (file.isMain!=0)
+                return file;
+        }
+        return null;
+    }
 }

src/_VisualDVM/Repository/Component/Visualiser.java

@@ -60,7 +60,7 @@ public class Visualiser extends Component {
     //http://www.seostella.com/ru/article/2012/02/05/formatirovanie-daty-v-java.html
     @Override
     public void GetVersionInfo() {
-        version = 1139;
+        version = 1140;
         String pattern = "MMM dd yyyy HH:mm:ss";
         DateFormat df = new SimpleDateFormat(pattern, Locale.ENGLISH);
         date_text = df.format(getClassBuildTime());