[1] | 1 | package genius.gui;
|
---|
| 2 |
|
---|
[11] | 3 | import java.awt.Component;
|
---|
[1] | 4 | import java.awt.Dimension;
|
---|
[11] | 5 | import java.awt.Frame;
|
---|
[1] | 6 |
|
---|
| 7 | import javax.swing.JFrame;
|
---|
| 8 | import javax.swing.JMenu;
|
---|
| 9 | import javax.swing.JMenuBar;
|
---|
[11] | 10 | import javax.swing.JScrollPane;
|
---|
[1] | 11 | import javax.swing.JSplitPane;
|
---|
| 12 | import javax.swing.JTabbedPane;
|
---|
| 13 |
|
---|
| 14 | import genius.gui.actions.AboutAction;
|
---|
| 15 | import genius.gui.actions.OpenManual;
|
---|
[11] | 16 | import genius.gui.domainrepository.DomainRepositoryUI;
|
---|
[1] | 17 |
|
---|
[12] | 18 | /**
|
---|
| 19 | * #2 future main application and main GUI panel.
|
---|
| 20 | */
|
---|
[1] | 21 | @SuppressWarnings("serial")
|
---|
[11] | 22 | public class MainPanel extends JFrame implements MainPanelInterface {
|
---|
[1] | 23 |
|
---|
[11] | 24 | private JTabbedPane repoArea = new JTabbedPane();
|
---|
| 25 | private JTabbedPane editArea = new JTabbedPane();
|
---|
[1] | 26 |
|
---|
| 27 | public MainPanel() {
|
---|
| 28 | setMinimumSize(new Dimension(200, 100));
|
---|
[11] | 29 | setTitle(
|
---|
| 30 | "GENIUS " + getClass().getPackage().getImplementationVersion());
|
---|
| 31 | JSplitPane splitpane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,
|
---|
| 32 | repoArea, editArea);
|
---|
[1] | 33 | add(splitpane);
|
---|
[11] | 34 | repoArea.addTab("Domains",
|
---|
| 35 | new JScrollPane(new DomainRepositoryUI(this)));
|
---|
[1] | 36 |
|
---|
| 37 | setJMenuBar(new MenuBar());
|
---|
| 38 |
|
---|
| 39 | }
|
---|
| 40 |
|
---|
| 41 | public static void main(String[] args) {
|
---|
| 42 | MainPanel mainpanel = new MainPanel();
|
---|
[11] | 43 |
|
---|
[1] | 44 | mainpanel.pack();
|
---|
| 45 | mainpanel.show();
|
---|
[11] | 46 |
|
---|
[1] | 47 | }
|
---|
[11] | 48 |
|
---|
| 49 | @Override
|
---|
| 50 | public void addTab(String title, Component comp) {
|
---|
| 51 | editArea.addTab(title, comp);
|
---|
| 52 | }
|
---|
| 53 |
|
---|
| 54 | @Override
|
---|
| 55 | public Frame getMainFrame() {
|
---|
| 56 | return this;
|
---|
| 57 | }
|
---|
[1] | 58 | }
|
---|
| 59 |
|
---|
| 60 | class MenuBar extends JMenuBar {
|
---|
| 61 | private JMenu startMenu = new JMenu();
|
---|
| 62 | private JMenu helpMenu = new JMenu();
|
---|
| 63 |
|
---|
| 64 | public MenuBar() {
|
---|
| 65 | startMenu.setText("Start");
|
---|
| 66 | startMenu.setName("startMenu");
|
---|
| 67 | add(startMenu);
|
---|
| 68 |
|
---|
| 69 | helpMenu.setText("Help");
|
---|
| 70 | helpMenu.setName("startMenu");
|
---|
| 71 | helpMenu.add(new OpenManual());
|
---|
| 72 | helpMenu.add(new AboutAction());
|
---|
| 73 | add(helpMenu);
|
---|
| 74 | }
|
---|
| 75 | } |
---|