![JAR search and dependency download from the Maven repository](/logo.png)
convex.gui.manager.windows.state.StateWindow Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of convex-gui Show documentation
Show all versions of convex-gui Show documentation
Convex desktop GUI and test applications
package convex.gui.manager.windows.state;
import java.awt.BorderLayout;
import javax.swing.JTabbedPane;
import convex.core.data.ACell;
import convex.gui.manager.PeerGUI;
import convex.gui.manager.windows.BaseWindow;
@SuppressWarnings("serial")
public class StateWindow extends BaseWindow {
JTabbedPane tabbedPane = new JTabbedPane(JTabbedPane.TOP);
public StateWindow(PeerGUI manager, ACell state) {
super(manager);
add(tabbedPane, BorderLayout.CENTER);
tabbedPane.addTab("State Tree", null, new StateTreePanel(state), null);
}
@Override
public String getTitle() {
return "State explorer";
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy