📄 editproperties.java
字号:
/** * Miroslav Popov, Sep 1, 2005 */package org.enhydra.jawe.base.controller.actions.defaultactions;import java.awt.event.ActionEvent;import java.util.Collection;import org.enhydra.jawe.ActionBase;import org.enhydra.jawe.JaWEComponent;import org.enhydra.jawe.JaWEManager;import org.enhydra.jawe.base.controller.JaWEController;import org.enhydra.jawe.base.editor.XPDLElementEditor;import org.enhydra.shark.xpdl.XMLElement;/** * @author Miroslav Popov * */public class EditProperties extends ActionBase { public EditProperties (JaWEComponent jawecomponent) { super(jawecomponent); } public void enableDisableAction() { JaWEController jc = (JaWEController)jawecomponent; setEnabled(jc.getSelectionManager().canEditProperties() && !JaWEManager.getInstance().getXPDLElementEditor().isVisible()); } public void actionPerformed(ActionEvent e) { JaWEController jc = (JaWEController)jawecomponent; Collection c = jc.getSelectionManager().getSelectedElements(); if (c.size() != 1) return; setEnabled(false); XPDLElementEditor ed = JaWEManager.getInstance().getXPDLElementEditor(); ed.editXPDLElement((XMLElement)c.iterator().next()); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -