← Back to branch summary

~seh999/jcog/proto3

« back to all changes in this revision

Viewing changes to spacetime/src.ui/opencog/spacetime/swing/plugin/basic/ViewMenuBar.java

  • Committer: SeH
  • Date: 2009-09-19 22:59:48 UTC
  • Revision ID: seh999@gmail.com-20090919225948-q3ab80xa57i74mm6
start of major jReality refactoring

Show diffs side-by-side

added added

removed removed

Lines of Context:
spacetime/src.ui/opencog/spacetime/swing/plugin/basic/ViewMenuBar.java
 
1
package opencog.spacetime.swing.plugin.basic;
 
2
 
 
3
import java.awt.Component;
 
4
 
 
5
import javax.swing.JMenu;
 
6
import javax.swing.JMenuItem;
 
7
 
 
8
import opencog.spacetime.swing.plugin.icon.ImageHook;
 
9
import opencog.spacetime.swing.ui.viewerapp.actions.file.Quit;
 
10
 
 
11
import de.jtem.jrworkspace.plugin.Controller;
 
12
import de.jtem.jrworkspace.plugin.PluginInfo;
 
13
import de.jtem.jrworkspace.plugin.aggregators.MenuAggregator;
 
14
import de.jtem.jrworkspace.plugin.flavor.PerspectiveFlavor;
 
15
 
 
16
public class ViewMenuBar extends MenuAggregator {
 
17
 
 
18
        private View viewerPlugin = null;
 
19
        
 
20
        @Override
 
21
        public PluginInfo getPluginInfo() {
 
22
                PluginInfo info = new PluginInfo();
 
23
                info.name = "Viewer Menu";
 
24
                info.vendorName = "jReality Group";
 
25
                info.icon = ImageHook.getIcon("menu.png");
 
26
                return info;
 
27
        }
 
28
 
 
29
        @Override
 
30
        public void install(Controller c) throws Exception {
 
31
                viewerPlugin = c.getPlugin(View.class);
 
32
                removeAll(getClass());
 
33
                
 
34
                // File menu
 
35
                JMenu fileMenu =  new JMenu("File");
 
36
                fileMenu.setMnemonic('f');
 
37
                addMenu(getClass(), 0.0, fileMenu);
 
38
        
 
39
                addMenuSeparator(getClass(), 99, "File");
 
40
                addMenuItem(getClass(), 100, new Quit("Quit"), "File");
 
41
                
 
42
                // Viewer menu
 
43
                JMenu viewerMenu = viewerPlugin.createViewerMenu();
 
44
                viewerMenu.setMnemonic('v');
 
45
                addMenu(getClass(), 1.0, viewerMenu);
 
46
                addMenuSeparator(getClass(), 0.0, "Viewer");
 
47
                
 
48
                // window menu
 
49
                JMenu windowMenu = new JMenu("Window");
 
50
                windowMenu.setMnemonic('w');
 
51
                addMenu(getClass(), 100.0, windowMenu);
 
52
                addMenuItem(getClass(), 1.0, viewerPlugin.getPanelsMenu(), "Window");
 
53
                addMenuSeparator(getClass(), 1.5, "Window");
 
54
                JMenu slotsMenu = viewerPlugin.getContaintersMenu();
 
55
                double priority = 20.0;
 
56
                addMenuSeparator(getClass(), 19.5, "Window");
 
57
                for (Component item : slotsMenu.getMenuComponents()) {
 
58
                        addMenuItem(getClass(), priority++, (JMenuItem)item, "Window");
 
59
                }
 
60
        }
 
61
        
 
62
 
 
63
        @Override
 
64
        public void uninstall(Controller c) throws Exception {
 
65
 
 
66
        }
 
67
        
 
68
        public Class<? extends PerspectiveFlavor> getPerspective() {
 
69
                return View.class;
 
70
        }
 
71
 
 
72
}