📄 operatormenu.java
字号:
/* * YALE - Yet Another Learning Environment * Copyright (C) 2002, 2003 * Simon Fischer, Ralf Klinkenberg, Ingo Mierswa, * Katharina Morik, Oliver Ritthoff * Artificial Intelligence Unit * Computer Science Department * University of Dortmund * 44221 Dortmund, Germany * email: yale@ls8.cs.uni-dortmund.de * web: http://yale.cs.uni-dortmund.de/ * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License as * published by the Free Software Foundation; either version 2 of the * License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 * USA. */package edu.udo.cs.yale.gui;import edu.udo.cs.yale.tools.param.OperatorParams;import edu.udo.cs.yale.operator.OperatorChain;import edu.udo.cs.yale.tools.param.GroupTree;import javax.swing.*;import java.util.*;import java.awt.event.*;public class OperatorMenu extends JMenu { public static final OperatorMenu OPERATOR_MENU = new OperatorMenu(); private OperatorMenu() { super("New operator"); addMenu(OperatorParams.getGroups(), this); } public void addMenu(GroupTree group, JMenu menu) { Iterator i = group.getSubGroups().iterator(); while (i.hasNext()) { GroupTree subGroup = (GroupTree)i.next(); JMenu subMenu = new JMenu(subGroup.getName()); addMenu(subGroup, subMenu); menu.add(subMenu); } i = group.getOperators().iterator(); while (i.hasNext()) { final String operator = (String)i.next(); JMenuItem item = new JMenuItem(operator); item.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) { YaleGUI.getMainFrame().getOperatorTree().insert(NewOperatorDialog.getOperatorInstance(operator, operator)); } }); menu.add(item); } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -