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() |
boolean |
isAlwaysShowLeftPanel() |
boolean |
isAlwaysShowRightPanel() |
void |
put(String id,
boolean visible,
JIPipeDesktopDockPanel.PanelLocation panelLocation) |
void |
setAlwaysShowLeftPanel(boolean alwaysShowLeftPanel) |
void |
setAlwaysShowRightPanel(boolean alwaysShowRightPanel) |
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 boolean isAlwaysShowLeftPanel()
public void setAlwaysShowLeftPanel(boolean alwaysShowLeftPanel)
public boolean isAlwaysShowRightPanel()
public void setAlwaysShowRightPanel(boolean alwaysShowRightPanel)
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.