📄 xopendocumentsmenu.java
字号:
/****************************************************************
* XBrowser - eXtended web Browser *
* *
* Copyright (c) 2000-2001 Armond Avanes *
* Refer to ReadMe & License files for more information *
* *
* *
* By: Armond Avanes *
* Armond555@yahoo.com & Armond333@yahoo.com *
* http://xbrowser.sourceforge.net/ *
*****************************************************************/
package xbrowser.widgets;
import javax.swing.*;
import java.util.*;
import java.awt.*;
import java.awt.event.*;
import xbrowser.*;
import xbrowser.doc.*;
import xbrowser.util.*;
import xbrowser.container.event.*;
public class XOpenDocumentsMenu extends JMenu implements XDocumentContainerListener
{
public XOpenDocumentsMenu()
{
setText( XRepository.getResourceManager().getProperty(this, "Title") );
setIcon( XRepository.getComponentBuilder().buildImageIcon(this, "image.Document") );
XBrowser.getBrowser().addDocumentContainerListener(this);
}
///////////////// XDocumentContainerListener Interface /////////////////////
public void documentActivated(XDocument doc)
{
XDocumentMenuItem menu_item = (XDocumentMenuItem)doc_MenuItem.get(doc);
if( menu_item!=null && !menu_item.isSelected() )
menu_item.setSelected(true);
}
public void documentAdded(XDocument doc)
{
XDocumentMenuItem menu_item = new XDocumentMenuItem(doc);
add(menu_item);
btnDocGroup.add(menu_item);
menu_item.setSelected(true);
doc_MenuItem.put(doc,menu_item);
}
public void documentClosed(XDocument doc)
{
XDocumentMenuItem menu_item = (XDocumentMenuItem)doc_MenuItem.remove(doc);
if( menu_item!=null )
{
remove(menu_item);
btnDocGroup.remove(menu_item);
menu_item.setDocument(null);
}
}
///////////////// XDocumentContainerListener Interface /////////////////////
private class XDocumentMenuItem extends JRadioButtonMenuItem implements ActionListener
{
public XDocumentMenuItem(XDocument doc)
{
setDocument(doc);
addActionListener(this);
}
public void setDocument(XDocument doc)
{
this.doc = doc;
}
/*protected void processMouseEvent(MouseEvent e)
{
if( e.isPopupTrigger() )
{
XBrowser.getBrowser().getDocumentContainer().activateDocument(doc);
XBrowser.getBrowser().showPopupMenu(this,null,e.getX(),e.getY());
}
else
super.processMouseEvent(e);
}*/
public String getText()
{
if( doc!=null )
return doc.getPageTitle();
else
return "";
}
public void actionPerformed(ActionEvent e)
{
if( doc!=null )
XBrowser.getBrowser().getDocumentContainer().activateDocument(doc);
}
// Attribute:
private XDocument doc = null;
}
// Attributes:
private ButtonGroup btnDocGroup = new ButtonGroup();
private Map doc_MenuItem = new HashMap();
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -