public static class JIPipeDesktopDockPanel.State extends Object
Constructor and Description |
---|
State() |
Modifier and Type | Method and Description |
---|---|
int |
getLeftPanelWidth() |
double |
getLeftSplitPaneRatio() |
Map<String,JIPipeDesktopDockPanel.PanelLocation> |
getLocations() |
int |
getRightPanelWidth() |
double |
getRightSplitPaneRatio() |
Map<String,Boolean> |
getVisibilities() |
void |
put(String id,
boolean visible,
JIPipeDesktopDockPanel.PanelLocation panelLocation) |
void |
setLeftPanelWidth(int leftPanelWidth) |
void |
setLeftSplitPaneRatio(double leftSplitPaneRatio) |
void |
setLocations(Map<String,JIPipeDesktopDockPanel.PanelLocation> locations) |
void |
setRightPanelWidth(int rightPanelWidth) |
void |
setRightSplitPaneRatio(double rightSplitPaneRatio) |
void |
setVisibilities(Map<String,Boolean> visibilities) |
public double getLeftSplitPaneRatio()
public void setLeftSplitPaneRatio(double leftSplitPaneRatio)
public double getRightSplitPaneRatio()
public void setRightSplitPaneRatio(double rightSplitPaneRatio)
public int getLeftPanelWidth()
public void setLeftPanelWidth(int leftPanelWidth)
public int getRightPanelWidth()
public void setRightPanelWidth(int rightPanelWidth)
public Map<String,JIPipeDesktopDockPanel.PanelLocation> getLocations()
public void setLocations(Map<String,JIPipeDesktopDockPanel.PanelLocation> locations)
public void put(String id, boolean visible, JIPipeDesktopDockPanel.PanelLocation panelLocation)
Copyright © 2020–2025 Leibniz Institute for Natural Product Research and Infection Biology - Hans Knöll Institute (HKI). All rights reserved.