📄 projecteditor.java
字号:
/*
* $Header: /home/cvs/WEBPUMP2.0/WebPumpIDE_Src/WebPumpIDE/src/com/webpump/ui/project/ProjectEditor.java,v 1.2 2004/12/29 09:45:30 wang_j Exp $
* $Revision: 1.2 $
* $Date: 2004/12/29 09:45:30 $
*
* ====================================================================
*
* The NanJing HopeRun(IT-FOREST) Software License, Version 2.0.0
*
* Copyright 2003-2004 by NanJing HopeRun(IT-FOREST) Information System Co., Ltd, CHINA and
* IT Forest Corporation
* All rights reserved.
*
* This software is the confidential and proprietary information of
* HopeRun(IT-FOREST) Information System Co., Ltd, CHINA and IT Forest Corporation.
* You shall not disclose such Confidential Information and shall use it only in
* accordance with the terms of the license agreement you entered into with
* HopeRun(IT-FOREST) Information System Co., Ltd, CHINA and IT Forest Corporation.
*/
package com.webpump.ui.project;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.runtime.IPath;
import org.eclipse.pde.internal.ui.editor.IPDEEditorPage;
import com.webpump.ui.base.data.*;
import com.webpump.ui.base.gui.*;
import com.webpump.ui.perspective.MacroResource;
import com.webpump.ui.perspective.WebpumpIDEPlugin;
/**
* modify the project's property
*
* @author wang_j
* @version 2.0 2004-02-11
*/
public class ProjectEditor extends BaseEditor{
/**
* parse the xml'info to Data Model
*/
protected BaseModel createResourceModel(IFile file)
{
IPath objPath = file.getLocation().removeLastSegments(1);
BaseModel objModel = null;
try
{
this.m_objFile = file;
objModel = WebpumpIDEPlugin.getProjectModel(file,true);
}
catch(Exception e)
{
WebpumpIDEPlugin.log(e);
}
return objModel;
}
/**
* create the editor's page
*/
protected void createPages()
{
firstPageId = MacroResource.PROJECTEDITOR_EDITOR_ID;
formWorkbook.setFirstPageSelected(false);
ProjectPage objProjectPage =
new ProjectPage(this, WebpumpIDEPlugin.getResourceString(MacroResource.PROJECTEDITOR_EDITOR_NAME));
addPage(MacroResource.PROJECTEDITOR_EDITOR_ID, objProjectPage);
addPage(MacroResource.EDITOR_SOURCE_PAGE_ID, new BaseSourcePage(this,WebpumpIDEPlugin.getResourceString(MacroResource.EDITOR_SOURCE_PAGE_NAME)));
}
/**
* return the editor's defaut page
*/
public IPDEEditorPage getHomePage() {
return getPage(MacroResource.PROJECTEDITOR_EDITOR_ID);
}
/**
* return the editor's source page
*/
protected String getSourcePageId() {
return MacroResource.EDITOR_SOURCE_PAGE_ID;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -