From 2b8dd824fe7eb64ed60212c3523f0f370dbf63bf Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Thu, 2 May 2024 17:05:05 +0200
Subject: [PATCH] Update on Proverif dialog window
---
src/main/java/ui/window/JDialogProverifVerification.java | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/main/java/ui/window/JDialogProverifVerification.java b/src/main/java/ui/window/JDialogProverifVerification.java
index 5ebbc41979..f7fc94a719 100644
--- a/src/main/java/ui/window/JDialogProverifVerification.java
+++ b/src/main/java/ui/window/JDialogProverifVerification.java
@@ -1088,7 +1088,7 @@ public class JDialogProverifVerification extends JDialog implements ActionListen
panelAutoPattern();
//c.add(jp1, BorderLayout.NORTH);
- /*JSplitPane intermediate = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT);
+ JSplitPane intermediate = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT);
intermediate.setTopComponent(jp1);
intermediate.setBottomComponent(jsp);
addComponentListener(new ComponentAdapter() {
@@ -1097,9 +1097,9 @@ public class JDialogProverifVerification extends JDialog implements ActionListen
intermediate.setDividerLocation(0.4);
}
});
- c.add(intermediate, BorderLayout.CENTER);*/
- c.add(jsp, BorderLayout.EAST);
- c.add(jp1, BorderLayout.WEST);
+ c.add(intermediate, BorderLayout.CENTER);
+ //c.add(jsp, BorderLayout.EAST);
+ //c.add(jp1, BorderLayout.WEST);
c.add(jp2, BorderLayout.SOUTH);
this.popup = new JPopupMenu();
--
GitLab