⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 jremextensiondoc.java

📁 JRemoteControl is a simple Java&#8482 driven bluetooth remote control.It allows you to initiate virt
💻 JAVA
字号:
/* * JRemCntl - Copyright (C) 2007 Filippo Di Vattimo <fildiv@gmail.com> * See COPYING */package fildiv.jremcntl.server.gui.model;import fildiv.jremcntl.common.core.ConfigIntegrityInfo;import fildiv.jremcntl.common.core.Extension;import fildiv.jremcntl.common.core.SupportExtension;import fildiv.jremcntl.server.core.JRemExtension;import fildiv.jremcntl.server.gui.core.AbstractDocument;import fildiv.jremcntl.server.gui.core.Document;import fildiv.jremcntl.server.gui.core.DocumentEvent;import fildiv.jremcntl.server.gui.core.DocumentListener;import fildiv.jremcntl.server.gui.core.DocumentModifiedEvent;public class JRemExtensionDoc extends AbstractDocument implements Extension {	public static final int MODIFIED_CONTENT_TYPE_CHILDREN = 1;		private SupportExtension parent;	private JRemExtension ext;	private Document extDoc;	private DocumentListener listener;		public JRemExtensionDoc(SupportExtension parent, JRemExtension ext) {				if (ext == null || parent == null)			throw new IllegalArgumentException("parent or ext cannot be null");				this.parent = parent;				listener = new DocumentListener() {			public void actionPerformed(DocumentEvent event) {				JRemExtensionDoc.this.actionPerformed(event);			}		};				setImplObj(ext);	}		protected void actionPerformed(DocumentEvent event) {		if (!(event instanceof DocumentModifiedEvent))			return;				fireModifyEvent(event, MODIFIED_CONTENT_TYPE_CHILDREN);	}	public String getClassName() {		return ext.getFactory().getClass().getName();	}	public String getShortName() {		return ext.getName();	}	public String getID() {		return ext.getID();	}	public Object getImplObj() {		return ext;	}	public void setImplObj(Object ext) {				JRemExtension extension = (JRemExtension) ext;				if (this.extDoc != null)			this.extDoc.removeActionListener(listener);				this.ext = extension;		this.extDoc = (Document) extension.getDocument();		if (this.extDoc != null)			this.extDoc.addActionListener(listener);				fireGenericModifyEvent();	}	public SupportExtension getContainer() {		return parent;	}	public String getName() {		return "Extension";	}		public boolean isModified() {				if (super.isModified()) 			return true;				if (extDoc != null && extDoc.isModified())			return true;		return false;	}		public void resetState() {		super.resetState();				if (extDoc != null)			extDoc.resetState();	}	public ConfigIntegrityInfo checkValid() {				return ext.checkValid();	}}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -