Swing/DividerSplitRatio の変更点

---
category: swing
folder: DividerSplitRatio
title: JSplitPaneのDividerの位置を最大化後に変更する
tags: [JSplitPane, JFrame, Divider]
author: aterai
pubdate: 2011-11-14T11:39:46+09:00
description: JFrameを最大化した後でJSplitPaneのDividerの位置を変更する場合のテストをします。
image: https://lh3.googleusercontent.com/-w5-YQDwojUs/TsB7EdoVlLI/AAAAAAAABEw/p_PcxHKKeRk/s800/DividerSplitRatio.png
---
* Summary [#summary]
`JFrame`を最大化した後で`JSplitPane`の`Divider`の位置を変更する場合のテストをします。

#download(https://lh3.googleusercontent.com/-w5-YQDwojUs/TsB7EdoVlLI/AAAAAAAABEw/p_PcxHKKeRk/s800/DividerSplitRatio.png)

* Source Code Examples [#sourcecode]
#code(link){{
class SplitPaneWrapper extends JPanel {
  private int prevState = Frame.NORMAL;
  private final JSplitPane splitPane;

  protected SplitPaneWrapper(JSplitPane splitPane) {
    super(new BorderLayout());
    this.splitPane = splitPane;
    add(splitPane);
    EventQueue.invokeLater(() -> splitPane.setDividerLocation(.5));
  }

  private static int getOrientedSize(JSplitPane sp) {
    return (sp.getOrientation() == JSplitPane.VERTICAL_SPLIT)
           ? sp.getHeight() - sp.getDividerSize()
           : sp.getWidth() - sp.getDividerSize();
  }

  @Override public void doLayout() {
    int size = getOrientedSize(splitPane);
    final double proportionalLocation = splitPane.getDividerLocation() / (double) size;
    super.doLayout();
    int state = ((Frame) SwingUtilities.getWindowAncestor(splitPane)).getExtendedState();
    if (splitPane.isShowing() && state != prevState) {
      EventQueue.invokeLater(() -> {
        int s = getOrientedSize(splitPane);
        int iv = (int) Math.round(s * proportionalLocation);
        System.out.format("DividerLocation: %d%n", iv);
        splitPane.setDividerLocation(iv);
      });
      prevState = state;
    }
  }
}
}}

* Description [#explanation]
* Description [#description]
- `MAXIMIZED_BOTH: keep the same splitting ratio`が未選択の場合:
-- `JSplitPane#setResizeWeight(0d)`に設定されているので、`JFrame`をマウスでリサイズしても上コンポーネントの高さが維持される
- `MAXIMIZED_BOTH: keep the same splitting ratio`が選択されている場合:
-- `JSplitPane`をラップする`JPanel`の`doLayout()`メソッドをオーバーライドして最大化、通常化の前後で上下コンポーネントの高さの比率を維持する
-- `EventQueue.invokeLater(...)`を使って後で`JSplitPane#setDividerLocation(int)`でディバイダの位置を調節
-- デフォルト(`MAXIMIZED_BOTH: keep the same splitting ratio`チェックボックスのチェックを外している状態):
--- 例えば、最大化後にディバイダをすこし上に移動して`JFrame`を元に戻す(縮小)と上コンポーネントの方が下コンポーネントより高くなる
-- `JSplitPane#setDividerLocation(double)`は内部で`JSplitPane#setDividerLocation(int)`を呼び出しているがその変換の際に値を切り捨てているので、このサンプルでは最大化、元に戻す(縮小)を行なっても同じ値になるように四捨五入するよう変更している

* Reference [#reference]
- [[JSplitPaneを等分割する>Swing/DividerLocation]]
- [https://stackoverflow.com/questions/36067690/how-do-you-get-jsplitpane-to-keep-the-same-proportional-location-if-the-user-has java - How do you get JSplitPane to keep the same proportional location if the user has moved the location of the divider - Stack Overflow]

* Comment [#comment]
#comment
#comment