From 93dca87ec9277410e2c732c4cc7bc880fd89aac0 Mon Sep 17 00:00:00 2001 From: "honfika@gmail.com" Date: Tue, 5 May 2015 18:04:09 +0200 Subject: [PATCH] #470 Keep original Define*Texts and DefineFonts panels size after resizing from full screen to windowed and back #877 A small glitch after search in AS --- .../flash/configuration/Configuration.java | 20 ++-- .../decompiler/flash/gui/ErrorLogFrame.java | 14 +-- .../decompiler/flash/gui/GenericTagPanel.java | 2 + .../flash/gui/LoadFromMemoryFrame.java | 45 ++++---- src/com/jpexs/decompiler/flash/gui/Main.java | 63 +++++------ .../jpexs/decompiler/flash/gui/MainPanel.java | 105 +++++++++--------- .../decompiler/flash/gui/PreviewPanel.java | 16 +-- .../decompiler/flash/gui/abc/ABCPanel.java | 30 ++--- .../flash/gui/action/ActionPanel.java | 22 ++-- .../locales/AdvancedSettingsDialog.properties | 20 ++-- .../AdvancedSettingsDialog_ca.properties | 20 ++-- .../AdvancedSettingsDialog_cs.properties | 20 ++-- .../AdvancedSettingsDialog_es.properties | 20 ++-- .../AdvancedSettingsDialog_fr.properties | 20 ++-- .../AdvancedSettingsDialog_hu.properties | 20 ++-- .../AdvancedSettingsDialog_pl.properties | 20 ++-- .../AdvancedSettingsDialog_pt_BR.properties | 20 ++-- .../AdvancedSettingsDialog_ru.properties | 20 ++-- .../AdvancedSettingsDialog_sv.properties | 20 ++-- 19 files changed, 242 insertions(+), 275 deletions(-) diff --git a/libsrc/ffdec_lib/src/com/jpexs/decompiler/flash/configuration/Configuration.java b/libsrc/ffdec_lib/src/com/jpexs/decompiler/flash/configuration/Configuration.java index 160eddaef..f2259a026 100644 --- a/libsrc/ffdec_lib/src/com/jpexs/decompiler/flash/configuration/Configuration.java +++ b/libsrc/ffdec_lib/src/com/jpexs/decompiler/flash/configuration/Configuration.java @@ -251,20 +251,20 @@ public class Configuration { @ConfigurationName("gui.window.maximized.vertical") public static final ConfigurationItem guiWindowMaximizedVertical = null; - @ConfigurationName("gui.avm2.splitPane.dividerLocation") - public static final ConfigurationItem guiAvm2SplitPaneDividerLocation = null; + @ConfigurationName("gui.avm2.splitPane.dividerLocationPercent") + public static final ConfigurationItem guiAvm2SplitPaneDividerLocationPercent = null; - @ConfigurationName("guiActionSplitPaneDividerLocation") - public static final ConfigurationItem guiActionSplitPaneDividerLocation = null; + @ConfigurationName("guiActionSplitPaneDividerLocationPercent") + public static final ConfigurationItem guiActionSplitPaneDividerLocationPercent = null; - @ConfigurationName("guiPreviewSplitPaneDividerLocation") - public static final ConfigurationItem guiPreviewSplitPaneDividerLocation = null; + @ConfigurationName("guiPreviewSplitPaneDividerLocationPercent") + public static final ConfigurationItem guiPreviewSplitPaneDividerLocationPercent = null; - @ConfigurationName("gui.splitPane1.dividerLocation") - public static final ConfigurationItem guiSplitPane1DividerLocation = null; + @ConfigurationName("gui.splitPane1.dividerLocationPercent") + public static final ConfigurationItem guiSplitPane1DividerLocationPercent = null; - @ConfigurationName("gui.splitPane2.dividerLocation") - public static final ConfigurationItem guiSplitPane2DividerLocation = null; + @ConfigurationName("gui.splitPane2.dividerLocationPercent") + public static final ConfigurationItem guiSplitPane2DividerLocationPercent = null; @ConfigurationDefaultString("com.jpexs.decompiler.flash.gui.OceanicSkin") @ConfigurationName("gui.skin") diff --git a/src/com/jpexs/decompiler/flash/gui/ErrorLogFrame.java b/src/com/jpexs/decompiler/flash/gui/ErrorLogFrame.java index cd31a8fa0..f16213ec5 100644 --- a/src/com/jpexs/decompiler/flash/gui/ErrorLogFrame.java +++ b/src/com/jpexs/decompiler/flash/gui/ErrorLogFrame.java @@ -85,24 +85,22 @@ public class ErrorLogFrame extends AppFrame { public static ErrorLogFrame getInstance() { if (instance == null) { instance = new ErrorLogFrame(); - View.execInEventDispatch(() -> { - Logger logger = Logger.getLogger(""); - logger.addHandler(instance.getHandler()); - }); + Logger logger = Logger.getLogger(""); + logger.addHandler(instance.getHandler()); } + return instance; } public static ErrorLogFrame createNewInstance() { if (instance != null) { - View.execInEventDispatch(() -> { - Logger logger = Logger.getLogger(""); - logger.removeHandler(instance.getHandler()); - }); + Logger logger = Logger.getLogger(""); + logger.removeHandler(instance.getHandler()); instance.setVisible(false); instance.dispose(); instance = null; } + return getInstance(); } diff --git a/src/com/jpexs/decompiler/flash/gui/GenericTagPanel.java b/src/com/jpexs/decompiler/flash/gui/GenericTagPanel.java index a7c6c73f0..9d8c26b33 100644 --- a/src/com/jpexs/decompiler/flash/gui/GenericTagPanel.java +++ b/src/com/jpexs/decompiler/flash/gui/GenericTagPanel.java @@ -313,6 +313,7 @@ public class GenericTagPanel extends JPanel implements ChangeListener { } catch (InterruptedException ex) { Logger.getLogger(GenericTagPanel.class.getName()).log(Level.SEVERE, null, ex); } + View.execInEventDispatch(() -> { genericTagPropertiesEditPanelScrollPanel.getVerticalScrollBar().setValue(val); }); @@ -359,6 +360,7 @@ public class GenericTagPanel extends JPanel implements ChangeListener { } catch (InterruptedException ex) { Logger.getLogger(GenericTagPanel.class.getName()).log(Level.SEVERE, null, ex); } + View.execInEventDispatch(() -> { genericTagPropertiesEditPanelScrollPanel.getVerticalScrollBar().setValue(val); }); diff --git a/src/com/jpexs/decompiler/flash/gui/LoadFromMemoryFrame.java b/src/com/jpexs/decompiler/flash/gui/LoadFromMemoryFrame.java index a1a9122e0..e584f3b5e 100644 --- a/src/com/jpexs/decompiler/flash/gui/LoadFromMemoryFrame.java +++ b/src/com/jpexs/decompiler/flash/gui/LoadFromMemoryFrame.java @@ -39,7 +39,6 @@ import java.awt.event.MouseEvent; import java.awt.event.WindowAdapter; import java.awt.event.WindowEvent; import java.beans.PropertyChangeEvent; -import java.beans.PropertyChangeListener; import java.io.File; import java.io.IOException; import java.io.InputStream; @@ -218,31 +217,27 @@ public class LoadFromMemoryFrame extends AppFrame { progress.setStringPainted(true); progress.setVisible(true); final SelectProcessWorker wrk = new SelectProcessWorker(selProcesses); - wrk.addPropertyChangeListener(new PropertyChangeListener() { - @Override - public void propertyChange(PropertyChangeEvent evt) { - switch (evt.getPropertyName()) { - case "progress": - progress.setIndeterminate(false); - progress.setStringPainted(false); - progress.setValue((Integer) evt.getNewValue()); - break; - case "state": - if (((StateValue) evt.getNewValue()) == StateValue.DONE) { - try { - foundIs = wrk.get(); - } catch (InterruptedException | ExecutionException ex) { - Logger.getLogger(LoadFromMemoryFrame.class.getName()).log(Level.SEVERE, null, ex); - } - if (foundIs == null) { - addResultRow(null); - } - tableRes.setEnabled(foundIs != null); - progress.setVisible(false); - processing = false; + wrk.addPropertyChangeListener((PropertyChangeEvent evt) -> { + switch (evt.getPropertyName()) { + case "progress": + progress.setIndeterminate(false); + progress.setStringPainted(false); + progress.setValue((Integer) evt.getNewValue()); + break; + case "state": + if (((StateValue) evt.getNewValue()) == StateValue.DONE) { + try { + foundIs = wrk.get(); + } catch (InterruptedException | ExecutionException ex) { + Logger.getLogger(LoadFromMemoryFrame.class.getName()).log(Level.SEVERE, null, ex); } - } - + if (foundIs == null) { + addResultRow(null); + } + tableRes.setEnabled(foundIs != null); + progress.setVisible(false); + processing = false; + } } }); wrk.execute(); diff --git a/src/com/jpexs/decompiler/flash/gui/Main.java b/src/com/jpexs/decompiler/flash/gui/Main.java index 38154f2da..b0f7a08ad 100644 --- a/src/com/jpexs/decompiler/flash/gui/Main.java +++ b/src/com/jpexs/decompiler/flash/gui/Main.java @@ -181,11 +181,10 @@ public class Main { } public static void startProxy(int port) { - View.execInEventDispatch(() -> { - if (proxyFrame == null) { - proxyFrame = new ProxyFrame(mainFrame); - } - }); + if (proxyFrame == null) { + proxyFrame = new ProxyFrame(mainFrame); + } + proxyFrame.setPort(port); addTrayIcon(); switchProxy(); @@ -472,13 +471,13 @@ public class Main { if (firstSWF == null) { firstSWF = swfs1.get(0); } + try { - Main.startWork(AppStrings.translate("work.creatingwindow") + "..."); View.execInEventDispatch(() -> { + Main.startWork(AppStrings.translate("work.creatingwindow") + "..."); ensureMainFrame(); mainFrame.getPanel().load(swfs1, first1); }); - } catch (Exception ex) { logger.log(Level.SEVERE, null, ex); } @@ -839,22 +838,17 @@ public class Main { logger.log(Level.SEVERE, null, ex); } } - View.execInEventDispatch(() -> { - ErrorLogFrame.createNewInstance(); - }); + + ErrorLogFrame.createNewInstance(); autoCheckForUpdates(); offerAssociation(); - View.execInEventDispatch(() -> { - loadingDialog = new LoadingDialog(); - }); + loadingDialog = new LoadingDialog(); } public static void showModeFrame() { - View.execInEventDispatch(() -> { - ensureMainFrame(); - mainFrame.setVisible(true); - }); + ensureMainFrame(); + mainFrame.setVisible(true); } private static void offerAssociation() { @@ -1073,26 +1067,29 @@ public class Main { } if (args.length == 0) { - initGui(); - if (Configuration.allowOnlyOneInstance.get() && FirstInstance.focus()) { //Try to focus first instance - Main.exit(); - } else { - showModeFrame(); - reloadLastSession(); - } - + View.execInEventDispatch(() -> { + initGui(); + if (Configuration.allowOnlyOneInstance.get() && FirstInstance.focus()) { //Try to focus first instance + Main.exit(); + } else { + showModeFrame(); + reloadLastSession(); + } + }); } else { String[] filesToOpen = CommandLineArgumentParser.parseArguments(args); if (filesToOpen != null && filesToOpen.length > 0) { - initGui(); - shouldCloseWhenClosingLoadingDialog = true; - if (Configuration.allowOnlyOneInstance.get() && FirstInstance.openFiles(Arrays.asList(filesToOpen))) { //Try to open in first instance - Main.exit(); - } else { - for (String fileToOpen : filesToOpen) { - openFile(fileToOpen, null); + View.execInEventDispatch(() -> { + initGui(); + shouldCloseWhenClosingLoadingDialog = true; + if (Configuration.allowOnlyOneInstance.get() && FirstInstance.openFiles(Arrays.asList(filesToOpen))) { //Try to open in first instance + Main.exit(); + } else { + for (String fileToOpen : filesToOpen) { + openFile(fileToOpen, null); + } } - } + }); } } } diff --git a/src/com/jpexs/decompiler/flash/gui/MainPanel.java b/src/com/jpexs/decompiler/flash/gui/MainPanel.java index 5024832c7..d3aec21d9 100644 --- a/src/com/jpexs/decompiler/flash/gui/MainPanel.java +++ b/src/com/jpexs/decompiler/flash/gui/MainPanel.java @@ -156,7 +156,6 @@ import java.awt.event.KeyEvent; import java.awt.event.MouseAdapter; import java.awt.event.MouseEvent; import java.beans.PropertyChangeEvent; -import java.beans.PropertyChangeListener; import java.io.ByteArrayInputStream; import java.io.File; import java.io.FileInputStream; @@ -564,20 +563,22 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se welcomePanel = createWelcomePanel(); add(welcomePanel, BorderLayout.CENTER); - splitPane1.addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY, new PropertyChangeListener() { - @Override - public void propertyChange(PropertyChangeEvent pce) { - if (splitsInited) { - Configuration.guiSplitPane1DividerLocation.set((Integer) pce.getNewValue()); + splitPane1.addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY, (PropertyChangeEvent pce) -> { + if (splitsInited) { + int width = ((JSplitPane) pce.getSource()).getWidth(); + if (width != 0) { + int p = Math.round((100.0f * (Integer) pce.getNewValue() / width)); + Configuration.guiSplitPane1DividerLocationPercent.set(p); } } }); - splitPane2.addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY, new PropertyChangeListener() { - @Override - public void propertyChange(PropertyChangeEvent pce) { - if (detailPanel.isVisible()) { - Configuration.guiSplitPane2DividerLocation.set((Integer) pce.getNewValue()); + splitPane2.addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY, (PropertyChangeEvent pce) -> { + if (detailPanel.isVisible()) { + int width = ((JSplitPane) pce.getSource()).getWidth(); + if (width != 0) { + int p = Math.round((100.0f * (Integer) pce.getNewValue() / width)); + Configuration.guiSplitPane2DividerLocationPercent.set(p); } } }); @@ -657,6 +658,7 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se if (abcPanel != null) { abcPanel.reload(); } + updateClassesList(); } catch (InterruptedException ex) { logger.log(Level.SEVERE, null, ex); @@ -678,21 +680,19 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se abcPanel = new ABCPanel(this); displayPanel.add(abcPanel, CARDACTIONSCRIPT3PANEL); detailPanel.add(abcPanel.tabbedPane, DETAILCARDAS3NAVIGATOR); + abcPanel.initSplits(); } + return abcPanel; } - private void ensureActionPanel() { - if (actionPanel == null) { - View.execInEventDispatch(() -> { - actionPanel = new ActionPanel(MainPanel.this); - displayPanel.add(actionPanel, CARDACTIONSCRIPTPANEL); - }); - } - } - private ActionPanel getActionPanel() { - ensureActionPanel(); + if (actionPanel == null) { + actionPanel = new ActionPanel(MainPanel.this); + displayPanel.add(actionPanel, CARDACTIONSCRIPTPANEL); + actionPanel.initSplits(); + } + return actionPanel; } @@ -840,9 +840,7 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se refreshTree(); if (updateNeeded) { - View.execInEventDispatch(() -> { - tagTree.updateUI(); - }); + tagTree.updateUI(); } } @@ -863,27 +861,18 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se public void setVisible(boolean b) { super.setVisible(b); if (b) { - if (abcPanel != null) { - abcPanel.initSplits(); - } - if (actionPanel != null) { - actionPanel.initSplits(); - } + int split = Configuration.guiSplitPane1DividerLocationPercent.get(33); + splitPane1.setDividerLocation(split / 100.0); - View.execInEventDispatchLater(() -> { - splitPane1.setDividerLocation(Configuration.guiSplitPane1DividerLocation.get(getWidth() / 3)); - int confDivLoc = Configuration.guiSplitPane2DividerLocation.get(splitPane2.getHeight() * 3 / 5); - if (confDivLoc > splitPane2.getHeight() - 10) { //In older releases, divider location was saved when detailPanel was invisible too - confDivLoc = splitPane2.getHeight() * 3 / 5; - } - splitPane2.setDividerLocation(confDivLoc); - previewPanel.setDividerLocation(Configuration.guiPreviewSplitPaneDividerLocation.get(previewPanel.getWidth() / 2)); - - splitPos = splitPane2.getDividerLocation(); - splitsInited = true; - previewPanel.setSplitsInited(); - }); + int confDivLoc = Configuration.guiSplitPane2DividerLocationPercent.get(60); + splitPane2.setDividerLocation(confDivLoc / 100.0); + + split = Configuration.guiPreviewSplitPaneDividerLocationPercent.get(50); + previewPanel.setDividerLocation(split / 100.0); + splitPos = splitPane2.getDividerLocation(); + splitsInited = true; + previewPanel.setSplitsInited(); } } @@ -1361,7 +1350,12 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se boolean found = false; if (searchDialog.searchInASRadioButton.isSelected()) { if (swf.isAS3()) { - if (abcPanel != null && abcPanel.search(txt, searchDialog.ignoreCaseCheckBox.isSelected(), searchDialog.regexpCheckBox.isSelected())) { + // todo: honfika: do not call this from background thread + View.execInEventDispatch(() -> { + getActionPanel(); + }); + + if (getABCPanel().search(txt, searchDialog.ignoreCaseCheckBox.isSelected(), searchDialog.regexpCheckBox.isSelected())) { found = true; View.execInEventDispatch(() -> { showDetail(DETAILCARDAS3NAVIGATOR); @@ -1369,6 +1363,11 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se }); } } else { + // todo: honfika: do not call this from background thread + View.execInEventDispatch(() -> { + getActionPanel(); + }); + if (getActionPanel().search(txt, searchDialog.ignoreCaseCheckBox.isSelected(), searchDialog.regexpCheckBox.isSelected())) { found = true; View.execInEventDispatch(() -> { @@ -1927,10 +1926,10 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se @Override protected void done() { - Main.stopWork(); - View.showMessageDialog(null, translate("work.restoringControlFlow.complete")); - View.execInEventDispatch(() -> { + Main.stopWork(); + View.showMessageDialog(null, translate("work.restoringControlFlow.complete")); + getABCPanel().reload(); updateClassesList(); }); @@ -2023,10 +2022,10 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se @Override protected void done() { - Main.stopWork(); - View.showMessageDialog(null, translate("work.deobfuscating.complete")); - View.execInEventDispatch(() -> { + Main.stopWork(); + View.showMessageDialog(null, translate("work.deobfuscating.complete")); + clearAllScriptCache(); getABCPanel().reload(); updateClassesList(); @@ -2129,9 +2128,10 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se ignoreMissingCharacters ? JOptionPane.OK_OPTION : JOptionPane.CANCEL_OPTION) == JOptionPane.OK_OPTION; return false; } - View.execInEventDispatch(() -> { + + //View.execInEventDispatch(() -> { font.addCharacter(character, f); - }); + //}); return true; } @@ -2706,7 +2706,6 @@ public final class MainPanel extends JPanel implements TreeSelectionListener, Se showCard(CARDPREVIEWPANEL); previewPanel.showBinaryPanel(binaryTag); } else if (treeItem instanceof ASMSource && (!(treeItem instanceof DrawableTag) || preferScript)) { - ensureActionPanel(); showCard(CARDACTIONSCRIPTPANEL); getActionPanel().setSource((ASMSource) treeItem, !forceReload); } else if (treeItem instanceof ImageTag) { diff --git a/src/com/jpexs/decompiler/flash/gui/PreviewPanel.java b/src/com/jpexs/decompiler/flash/gui/PreviewPanel.java index 4c83dc17a..c1e3571c0 100644 --- a/src/com/jpexs/decompiler/flash/gui/PreviewPanel.java +++ b/src/com/jpexs/decompiler/flash/gui/PreviewPanel.java @@ -76,7 +76,6 @@ import java.awt.Font; import java.awt.Insets; import java.awt.event.ActionEvent; import java.beans.PropertyChangeEvent; -import java.beans.PropertyChangeListener; import java.io.BufferedOutputStream; import java.io.ByteArrayOutputStream; import java.io.File; @@ -209,11 +208,12 @@ public class PreviewPanel extends JSplitPane { }); - addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY, new PropertyChangeListener() { - @Override - public void propertyChange(PropertyChangeEvent pce) { - if (splitsInited && getRightComponent().isVisible()) { - Configuration.guiPreviewSplitPaneDividerLocation.set((Integer) pce.getNewValue()); + addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY, (PropertyChangeEvent pce) -> { + if (splitsInited && getRightComponent().isVisible()) { + int width = ((JSplitPane) pce.getSource()).getWidth(); + if (width != 0) { + int p = Math.round((100.0f * (Integer) pce.getNewValue() / width)); + Configuration.guiPreviewSplitPaneDividerLocationPercent.set(p); } } }); @@ -505,7 +505,7 @@ public class PreviewPanel extends JSplitPane { showCardRight(CARDFONTPANEL); parametersPanel.setVisible(true); - setDividerLocation(Configuration.guiPreviewSplitPaneDividerLocation.get(getWidth() / 2)); + setDividerLocation(Configuration.guiPreviewSplitPaneDividerLocationPercent.get(50) / 100.0); fontPanel.showFontTag(fontTag); int pageCount = getFontPageCount(fontTag); @@ -536,7 +536,7 @@ public class PreviewPanel extends JSplitPane { showCardRight(CARDTEXTPANEL); parametersPanel.setVisible(true); - setDividerLocation(Configuration.guiPreviewSplitPaneDividerLocation.get(getWidth() / 2)); + setDividerLocation(Configuration.guiPreviewSplitPaneDividerLocationPercent.get(50) / 100.0); textPanel.setText(textTag); } diff --git a/src/com/jpexs/decompiler/flash/gui/abc/ABCPanel.java b/src/com/jpexs/decompiler/flash/gui/abc/ABCPanel.java index d9a1d56b2..3b84b75de 100644 --- a/src/com/jpexs/decompiler/flash/gui/abc/ABCPanel.java +++ b/src/com/jpexs/decompiler/flash/gui/abc/ABCPanel.java @@ -80,7 +80,6 @@ import java.awt.event.MouseEvent; import java.awt.event.MouseListener; import java.awt.event.MouseMotionListener; import java.beans.PropertyChangeEvent; -import java.beans.PropertyChangeListener; import java.io.File; import java.io.IOException; import java.util.ArrayList; @@ -127,8 +126,6 @@ public class ABCPanel extends JPanel implements ItemListener, SearchListener constantTypeList; @@ -278,21 +275,7 @@ public class ABCPanel extends JPanel implements ItemListener, SearchListener { + if (!directEditing) { + int width = ((JSplitPane) pce.getSource()).getWidth(); + if (width != 0) { + int p = Math.round((100.0f * (Integer) pce.getNewValue() / width)); + Configuration.guiAvm2SplitPaneDividerLocationPercent.set(p); } } }); diff --git a/src/com/jpexs/decompiler/flash/gui/action/ActionPanel.java b/src/com/jpexs/decompiler/flash/gui/action/ActionPanel.java index 78e12548c..a27a4b0da 100644 --- a/src/com/jpexs/decompiler/flash/gui/action/ActionPanel.java +++ b/src/com/jpexs/decompiler/flash/gui/action/ActionPanel.java @@ -57,7 +57,6 @@ import java.awt.Font; import java.awt.Insets; import java.awt.event.ActionEvent; import java.beans.PropertyChangeEvent; -import java.beans.PropertyChangeListener; import java.io.IOException; import java.io.StringReader; import java.util.ArrayList; @@ -557,10 +556,11 @@ public class ActionPanel extends JPanel implements SearchListener { + int width = ((JSplitPane) pce.getSource()).getWidth(); + if (width != 0) { + int p = Math.round((100.0f * (Integer) pce.getNewValue() / width)); + Configuration.guiActionSplitPaneDividerLocationPercent.set(p); } }); @@ -628,16 +628,8 @@ public class ActionPanel extends JPanel implements SearchListener