All Downloads are FREE. Search and download functionalities are using the official Maven repository.

convex.gui.manager.windows.state.StateWindow Maven / Gradle / Ivy

There is a newer version: 0.7.15
Show newest version
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