(CreoleEvent e)
| 1944 | } |
| 1945 | |
| 1946 | @Override |
| 1947 | public void resourceLoaded(CreoleEvent e) { |
| 1948 | final Resource res = e.getResource(); |
| 1949 | if(Gate.getHiddenAttribute(res.getFeatures()) |
| 1950 | || res instanceof VisualResource) return; |
| 1951 | SwingUtilities.invokeLater(new Runnable() { |
| 1952 | @Override |
| 1953 | public void run() { |
| 1954 | |
| 1955 | NameBearerHandle handle = null; |
| 1956 | |
| 1957 | if(res instanceof Controller) { |
| 1958 | handle = new NameBearerHandle(res, MainFrame.this); |
| 1959 | DefaultMutableTreeNode node = new DefaultMutableTreeNode(handle, false); |
| 1960 | resourcesTreeModel.insertNodeInto(node, applicationsRoot, 0); |
| 1961 | |
| 1962 | } else if(res instanceof ProcessingResource) { |
| 1963 | handle = new NameBearerHandle(res, MainFrame.this); |
| 1964 | DefaultMutableTreeNode node = new DefaultMutableTreeNode(handle, false); |
| 1965 | resourcesTreeModel.insertNodeInto(node, processingResourcesRoot, 0); |
| 1966 | } |
| 1967 | else if(res instanceof LanguageResource) { |
| 1968 | handle = new NameBearerHandle(res, MainFrame.this); |
| 1969 | DefaultMutableTreeNode node = new DefaultMutableTreeNode(handle, false); |
| 1970 | resourcesTreeModel.insertNodeInto(node, languageResourcesRoot, 0); |
| 1971 | } |
| 1972 | |
| 1973 | if (handle != null) handle.addProgressListener(MainFrame.this); |
| 1974 | if (handle != null) handle.addStatusListener(MainFrame.this); |
| 1975 | } |
| 1976 | }); |
| 1977 | |
| 1978 | // JPopupMenu popup = handle.getPopup(); |
| 1979 | // |
| 1980 | // // Create a CloseViewAction and a menu item based on it |
| 1981 | // CloseViewAction cva = new CloseViewAction(handle); |
| 1982 | // XJMenuItem menuItem = new XJMenuItem(cva, this); |
| 1983 | // // Add an accelerator ATL+F4 for this action |
| 1984 | // menuItem.setAccelerator(KeyStroke.getKeyStroke( |
| 1985 | // KeyEvent.VK_H, ActionEvent.CTRL_MASK)); |
| 1986 | // popup.insert(menuItem, 1); |
| 1987 | // popup.insert(new JPopupMenu.Separator(), 2); |
| 1988 | // |
| 1989 | // popup.insert(new XJMenuItem( |
| 1990 | // new RenameResourceAction( |
| 1991 | // new TreePath(resourcesTreeModel.getPathToRoot(node))), |
| 1992 | // MainFrame.this) , 3); |
| 1993 | // |
| 1994 | // // Put the action command in the component's action map |
| 1995 | // if (handle.getLargeView() != null) |
| 1996 | // handle.getLargeView().getActionMap().put("Hide current |
| 1997 | // view",cva); |
| 1998 | // |
| 1999 | }// resourceLoaded(); |
| 2000 | |
| 2001 | @Override |
| 2002 | public void resourceUnloaded(CreoleEvent e) { |
nothing calls this directly
no test coverage detected