M/VisualSapfor
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Доделал восстановление позиции разделителя при распахивании области.

Browse Source
This commit is contained in:
02090095
2024-03-21 00:15:41 +03:00
parent 34df30fcd5
commit a707ceaabd
4 changed files with 10 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
.idea/workspace.xml generated
View File

@@ -7,20 +7,7 @@
</component> </component>
<component name="ChangeListManager"> <component name="ChangeListManager">
<list default="true" id="e42177c3-2328-4b27-8a01-35779b2beb99" name="Default Changelist" comment=""> <list default="true" id="e42177c3-2328-4b27-8a01-35779b2beb99" name="Default Changelist" comment="">
<change afterPath="$PROJECT_DIR$/src/Common/UI/Menus_2023/MainMenuBar/VisualiserSettingsMenu/CompactnessSettingsMenu.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" /> <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
<change beforePath="$PROJECT_DIR$/properties" beforeDir="false" afterPath="$PROJECT_DIR$/properties" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Common/GlobalProperties.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/GlobalProperties.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Common/Properties.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/Properties.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Common/UI/Menus_2023/CredentialsBar/CredentialsBar.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/UI/Menus_2023/CredentialsBar/CredentialsBar.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Common/UI/Menus_2023/FileMenuBar/FileMenuBar.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/UI/Menus_2023/FileMenuBar/FileMenuBar.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Common/UI/Menus_2023/MainMenuBar/MainMenuBar.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/UI/Menus_2023/MainMenuBar/MainMenuBar.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Common/UI/Menus_2023/MainMenuBar/VisualiserSettingsMenu.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Common/UI/Menus_2023/MainMenuBar/VisualiserSettingsMenu/VisualiserSettingsMenu.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/GlobalData/Compiler/CompilersMenuBar.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/GlobalData/Compiler/CompilersMenuBar.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/UpdateProperty.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/Passes/All/UpdateProperty.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Interface/FileWindow.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Interface/FileWindow.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Interface/ProjectWindow.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Interface/ProjectWindow.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Interface/TestingWindow.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Interface/TestingWindow.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/FileForm.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/FileForm.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/FileForm.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/FileForm.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/ProjectForm.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/ProjectForm.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/ProjectForm.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/ProjectForm.java" afterDir="false" />
<change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/TestingForm.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/TestingForm.java" afterDir="false" /> <change beforePath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/TestingForm.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/Visual_DVM_2021/UI/Main/TestingForm.java" afterDir="false" />

15
src/Visual_DVM_2021/UI/Main/FileForm.java
View File

@@ -368,11 +368,9 @@ public class FileForm implements FileWindow, FormWithSplitters {
//-- //--
@Override @Override
public void CollapseGraphs() { public void CollapseGraphs() {
Global.db.splitters.get("SC12").position = SC12.getDividerLocation();
UI.Clear(editorBackground); UI.Clear(editorBackground);
editorBackground.add(editorPanel); editorBackground.add(editorPanel);
content.updateUI();
SC1.updateUI();
SC12.updateUI();
} }
@Override @Override
public void ExpandGraphs() { public void ExpandGraphs() {
@@ -381,19 +379,13 @@ public class FileForm implements FileWindow, FormWithSplitters {
editorBackground.add(SC12); editorBackground.add(SC12);
//-- //--
SC12.setDividerLocation(Global.db.splitters.get("SC12").position); SC12.setDividerLocation(Global.db.splitters.get("SC12").position);
//--
content.updateUI();
SC1.updateUI();
SC12.updateUI(); SC12.updateUI();
} }
@Override @Override
public void CollapseMessages() { public void CollapseMessages() {
Global.db.splitters.get("SC1").position = SC1.getDividerLocation();
UI.Clear(content); UI.Clear(content);
content.add(editorBackground); content.add(editorBackground);
//--
content.updateUI();
SC1.updateUI();
SC12.updateUI();
} }
@Override @Override
public void ExpandMessages() { public void ExpandMessages() {
@@ -401,9 +393,6 @@ public class FileForm implements FileWindow, FormWithSplitters {
SC1.setLeftComponent(editorBackground); SC1.setLeftComponent(editorBackground);
content.add(SC1); content.add(SC1);
SC1.setDividerLocation(Global.db.splitters.get("SC1").position); SC1.setDividerLocation(Global.db.splitters.get("SC1").position);
//--
content.updateUI();
SC1.updateUI(); SC1.updateUI();
SC12.updateUI();
} }
} }

7
src/Visual_DVM_2021/UI/Main/ProjectForm.java
View File

@@ -106,7 +106,6 @@ public class ProjectForm implements FormWithSplitters, ProjectWindow {
inlineForm = new TreeForm(InlineTree.class); inlineForm = new TreeForm(InlineTree.class);
inlineForm2 = new TreeForm(InlineTree2.class); inlineForm2 = new TreeForm(InlineTree2.class);
} }
@Override @Override
public void RefreshProjectFiles() { public void RefreshProjectFiles() {
filesForm.Refresh(); filesForm.Refresh();
@@ -296,14 +295,16 @@ public class ProjectForm implements FormWithSplitters, ProjectWindow {
//-- //--
@Override @Override
public void CollapseProjectTrees() { public void CollapseProjectTrees() {
Global.db.splitters.get("SC3").position = SC3.getDividerLocation();
//---
UI.Clear(projectBackground); UI.Clear(projectBackground);
projectBackground.add(fileBackground); projectBackground.add(fileBackground);
projectBackground.updateUI();
} }
@Override @Override
public void ExpandProjectTrees() { public void ExpandProjectTrees() {
SC3.setLeftComponent(fileBackground); SC3.setLeftComponent(fileBackground);
projectBackground.add(SC3); projectBackground.add(SC3);
projectBackground.updateUI(); SC3.setDividerLocation(Global.db.splitters.get("SC3").position);
SC3.updateUI();
} }
} }

3
src/Visual_DVM_2021/UI/Main/TestingForm.java
View File

@@ -304,6 +304,7 @@ public class TestingForm implements FormWithSplitters, TestingWindow {
} }
@Override @Override
public void CollapseCredentials() { public void CollapseCredentials() {
Global.db.splitters.get("SC71").position = SC71.getDividerLocation();
UI.Clear(credentialsPanel); UI.Clear(credentialsPanel);
credentialsPanel.add(UI.credentialsBar); credentialsPanel.add(UI.credentialsBar);
SC71.setDividerLocation(30); SC71.setDividerLocation(30);
@@ -315,7 +316,7 @@ public class TestingForm implements FormWithSplitters, TestingWindow {
public void ExpandCredentials() { public void ExpandCredentials() {
UI.Clear(credentialsPanel); UI.Clear(credentialsPanel);
credentialsPanel.add(SC18); credentialsPanel.add(SC18);
SC71.setDividerLocation(200); SC71.setDividerLocation(Global.db.splitters.get("SC71").position);
SC71.setDividerSize(3); SC71.setDividerSize(3);
credentialsPanel.revalidate(); credentialsPanel.revalidate();
credentialsPanel.repaint(); credentialsPanel.repaint();