📄 svgdomviewer.java
字号:
/* * Created on 10 déc. 2004 ============================================= GNU LESSER GENERAL PUBLIC LICENSE Version 2.1 =============================================GLIPS Graffiti Editor, a SVG EditorCopyright (C) 2003 Jordi SUC, Philippe Gil, SARL ITRISThis library is free software; you can redistribute it and/ormodify it under the terms of the GNU Lesser General PublicLicense as published by the Free Software Foundation; eitherversion 2.1 of the License, or (at your option) any later version.This library is distributed in the hope that it will be useful,but WITHOUT ANY WARRANTY; without even the implied warranty ofMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNULesser General Public License for more details.You should have received a copy of the GNU Lesser General PublicLicense along with this library; if not, write to the Free SoftwareFoundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USAContact : jordi.suc@itris.fr; philippe.gil@itris.fr ============================================= */package fr.itris.glips.svgeditor;import java.awt.event.*;import java.util.*;import org.apache.batik.util.gui.*;import javax.swing.*;/** * @author Jordi SUC * * the module displaying a dom viewer */public class SVGDOMViewer extends SVGModuleAdapter{ /** * the id */ private String idDOMViewer="DOMViewer"; /** * the labels */ private String labelDOMViewer=""; /** * the menu item */ private final JMenuItem domViewerMenuitem=new JMenuItem(); /** * the resource bundle */ private ResourceBundle bundle=null; /** * the dom viewer */ private DOMViewer domViewerDialog=new DOMViewer(); /** * the editor */ private SVGEditor editor; /** * the constructor of the class * @param editor the editor */ public SVGDOMViewer(SVGEditor editor) { this.editor=editor; //the resource bundle bundle=SVGEditor.getBundle(); if(bundle!=null){ try{ labelDOMViewer=bundle.getString("labeldomviewer"); }catch (Exception ex){} } //a listener that listens to the changes of the SVGFrames final ActionListener svgframeListener=new ActionListener(){ public void actionPerformed(ActionEvent e) { if(domViewerDialog.isVisible()){ if(getSVGEditor().getFrameManager().getCurrentFrame()!=null){ //sets the document for the dom viewer domViewerDialog.setDocument( getSVGEditor().getFrameManager().getCurrentFrame(). getScrollPane().getSVGCanvas().getDocument()); }else{ domViewerDialog.setVisible(false); } } } }; //adds the SVGFrame change listener editor.getFrameManager().addSVGFrameChangedListener(svgframeListener); //the menuitem domViewerMenuitem.setText(labelDOMViewer); domViewerMenuitem.addActionListener( new ActionListener(){ public void actionPerformed(ActionEvent arg0) { if(! domViewerDialog.isVisible()){ if(getSVGEditor().getFrameManager().getCurrentFrame()!=null){ //sets the document for the dom viewer domViewerDialog.setDocument(getSVGEditor().getFrameManager(). getCurrentFrame().getScrollPane().getSVGCanvas().getDocument()); } //sets the location of the dialog box int x=(int)(SVGEditor.getParent().getLocationOnScreen().getX()+SVGEditor.getParent().getWidth()/2-domViewerDialog.getSize().getWidth()/2), y=(int)(SVGEditor.getParent().getLocationOnScreen().getY()+SVGEditor.getParent().getHeight()/2-domViewerDialog.getSize().getHeight()/2); domViewerDialog.setLocation(x,y); domViewerDialog.setVisible(true); } } } ); } /** * @return the editor */ public SVGEditor getSVGEditor(){ return editor; } @Override public Hashtable<String, JMenuItem> getMenuItems(){ Hashtable<String, JMenuItem> menuItems=new Hashtable<String, JMenuItem>(); menuItems.put(idDOMViewer, domViewerMenuitem); return menuItems; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -