1 | package genius.gui;
|
---|
2 |
|
---|
3 | import java.awt.BorderLayout;
|
---|
4 | import java.awt.Component;
|
---|
5 | import java.awt.Dimension;
|
---|
6 | import java.awt.Frame;
|
---|
7 | import java.awt.event.MouseEvent;
|
---|
8 |
|
---|
9 | import javax.swing.JFrame;
|
---|
10 | import javax.swing.JMenu;
|
---|
11 | import javax.swing.JMenuBar;
|
---|
12 | import javax.swing.JScrollPane;
|
---|
13 | import javax.swing.JSplitPane;
|
---|
14 | import javax.swing.JTabbedPane;
|
---|
15 |
|
---|
16 | import genius.gui.actions.AboutAction;
|
---|
17 | import genius.gui.actions.OpenManual;
|
---|
18 | import genius.gui.actions.Session;
|
---|
19 | import genius.gui.actions.Tournament;
|
---|
20 | import genius.gui.boaframework.BOARepositoryUI;
|
---|
21 | import genius.gui.boaparties.BoaPartiesPanel;
|
---|
22 | import genius.gui.domainrepository.DomainRepositoryUI;
|
---|
23 | import genius.gui.panels.tab.CloseTabbedPane;
|
---|
24 | import genius.gui.repository.PartyRepositoryUI;
|
---|
25 |
|
---|
26 | /**
|
---|
27 | * main application and main GUI panel.
|
---|
28 | *
|
---|
29 | */
|
---|
30 | @SuppressWarnings("serial")
|
---|
31 | public class MainPanel extends JFrame implements GeniusAppInterface {
|
---|
32 |
|
---|
33 | private JTabbedPane repoArea = new JTabbedPane();
|
---|
34 | private CloseTabbedPane editArea = new CloseTabbedPane();
|
---|
35 |
|
---|
36 | public MainPanel() {
|
---|
37 | setLayout(new BorderLayout());
|
---|
38 | setMinimumSize(new Dimension(600, 400));
|
---|
39 | String version = getClass().getPackage().getImplementationVersion();
|
---|
40 | if (version != null) // if the version is defined in the MANIFEST file,
|
---|
41 | // e.g. Genius is in a .jar
|
---|
42 | setTitle("GENIUS " + version);
|
---|
43 | else
|
---|
44 | setTitle("GENIUS");
|
---|
45 | JSplitPane splitpane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,
|
---|
46 | repoArea, editArea);
|
---|
47 | splitpane.setDividerLocation(300);
|
---|
48 |
|
---|
49 | add(splitpane, BorderLayout.CENTER);
|
---|
50 | repoArea.addTab("Domains",
|
---|
51 | new JScrollPane(new DomainRepositoryUI(this)));
|
---|
52 | repoArea.addTab("BOA Components",
|
---|
53 | new JScrollPane(new BOARepositoryUI(this)));
|
---|
54 | repoArea.addTab("Parties", new PartyRepositoryUI());
|
---|
55 | repoArea.addTab("Boa Parties", new BoaPartiesPanel());
|
---|
56 |
|
---|
57 | setJMenuBar(new MenuBar(this));
|
---|
58 |
|
---|
59 | editArea.addCloseListener((MouseEvent e, int overTabIndex) -> editArea
|
---|
60 | .remove(overTabIndex));
|
---|
61 | setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
|
---|
62 | }
|
---|
63 |
|
---|
64 | /**
|
---|
65 | * For testing
|
---|
66 | */
|
---|
67 | public static void main(String[] args) {
|
---|
68 | MainPanel mainpanel = new MainPanel();
|
---|
69 |
|
---|
70 | mainpanel.pack();
|
---|
71 | mainpanel.setVisible(true);
|
---|
72 |
|
---|
73 | }
|
---|
74 |
|
---|
75 | @Override
|
---|
76 | public void addTab(String title, Component comp) {
|
---|
77 | editArea.addTab(title, comp);
|
---|
78 | editArea.setSelectedComponent(comp);
|
---|
79 | }
|
---|
80 |
|
---|
81 | @Override
|
---|
82 | public Frame getMainFrame() {
|
---|
83 | return this;
|
---|
84 | }
|
---|
85 | }
|
---|
86 |
|
---|
87 | @SuppressWarnings("serial")
|
---|
88 | class MenuBar extends JMenuBar {
|
---|
89 | private JMenu startMenu = new JMenu();
|
---|
90 | private JMenu helpMenu = new JMenu();
|
---|
91 |
|
---|
92 | public MenuBar(GeniusAppInterface mainPanel) {
|
---|
93 | startMenu.setText("Start");
|
---|
94 | startMenu.add(new Session(mainPanel));
|
---|
95 | startMenu.add(new Tournament(mainPanel));
|
---|
96 |
|
---|
97 | add(startMenu);
|
---|
98 |
|
---|
99 | helpMenu.setText("Help");
|
---|
100 | helpMenu.add(new OpenManual());
|
---|
101 | helpMenu.add(new AboutAction());
|
---|
102 | add(helpMenu);
|
---|
103 | }
|
---|
104 | } |
---|