|
Last change
on this file since 4448 was 4367, checked in by mdewsnip, 21 years ago |
|
Fixed tabbing.
|
-
Property svn:keywords
set to
Author Date Id Revision
|
|
File size:
827 bytes
|
| Line | |
|---|
| 1 | package org.greenstone.gatherer.gui;
|
|---|
| 2 | import java.awt.*;
|
|---|
| 3 | import java.awt.event.*;
|
|---|
| 4 | import javax.swing.*;
|
|---|
| 5 | import org.greenstone.gatherer.Gatherer;
|
|---|
| 6 | import org.greenstone.gatherer.gui.GUIManager;
|
|---|
| 7 | import org.greenstone.gatherer.util.Utility;
|
|---|
| 8 | public class SimpleMenuBar
|
|---|
| 9 | extends JMenuBar
|
|---|
| 10 | implements ActionListener {
|
|---|
| 11 |
|
|---|
| 12 | private String page_name;
|
|---|
| 13 |
|
|---|
| 14 | public SimpleMenuBar(String page_name) {
|
|---|
| 15 | this.page_name = page_name;
|
|---|
| 16 | JMenu help = new JMenu(Gatherer.dictionary.get("Menu.Help"));
|
|---|
| 17 | help.setIcon(Utility.HELP_ICON);
|
|---|
| 18 |
|
|---|
| 19 | JMenuItem help_help = new JMenuItem(Gatherer.dictionary.get("Menu.Help"));
|
|---|
| 20 | help_help.addActionListener(this);
|
|---|
| 21 |
|
|---|
| 22 | help.add(help_help);
|
|---|
| 23 |
|
|---|
| 24 | add(Box.createHorizontalGlue());
|
|---|
| 25 | add(help);
|
|---|
| 26 | }
|
|---|
| 27 |
|
|---|
| 28 | public void actionPerformed(ActionEvent event) {
|
|---|
| 29 | Gatherer.g_man.help.setView(page_name);
|
|---|
| 30 | }
|
|---|
| 31 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
