From 1807e7752960ac229cddd34b100e92cadbac9459 Mon Sep 17 00:00:00 2001
From: Normand Briere <nbriere@noware.ca>
Date: Wed, 26 Jun 2019 21:39:11 -0400
Subject: [PATCH] Fix perfo Venice (shadow).
---
ObjEditor.java | 7 ++++---
1 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/ObjEditor.java b/ObjEditor.java
index ef7c93d..559d8de 100644
--- a/ObjEditor.java
+++ b/ObjEditor.java
@@ -463,10 +463,11 @@
mainPanel.setResizeWeight(0.5);
//mainPanel.setDividerSize((int) (mainPanel.getDividerSize() * 1.5));
-// BasicSplitPaneDivider divider = ( (BasicSplitPaneUI) mainPanel.getUI()).getDivider();
-// divider.setDividerSize(15);
-// divider.setBorder(BorderFactory.createTitledBorder(divider.getBorder(), "Custom border title -- gets rid of the one-touch arrows!"));
+ BasicSplitPaneDivider divider = ( (BasicSplitPaneUI) mainPanel.getUI()).getDivider();
+ divider.setDividerSize(15);
+ divider.setBorder(BorderFactory.createTitledBorder(divider.getBorder(), "Custom border title -- gets rid of the one-touch arrows!"));
+ mainPanel.setUI(new BasicSplitPaneUI());
//ctrlPanel.setLayout(new GridLayout(4, 1, 5, 5));
//mainPanel.setLayout(new GridBagLayout());
--
Gitblit v1.6.2