📄 jremextensiondoc.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 + -