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

📄 aboutsystemdialog.java

📁 有限自动机输入,转换,识别,图形显示与化简
💻 JAVA
字号:
package cn.work.zdj.ui;

import org.eclipse.jface.dialogs.Dialog;
import org.eclipse.jface.dialogs.IDialogConstants;
import org.eclipse.swt.SWT;
import org.eclipse.swt.events.PaintEvent;
import org.eclipse.swt.events.PaintListener;
import org.eclipse.swt.graphics.Color;
import org.eclipse.swt.graphics.Point;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.widgets.Canvas;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Control;
import org.eclipse.swt.widgets.Shell;

import cn.work.zdj.sys.CacheImage;
import cn.work.zdj.sys.IAppConstants;
import cn.work.zdj.sys.IImageKey;

public class AboutSystemDialog extends Dialog {
	private Color bgcolor;
	
	public AboutSystemDialog(Shell parent){
		super(parent);
		
	}
	protected Control createDialogArea(final Composite parent){
		bgcolor = new Color(parent.getDisplay(),0xdf,0xdf,0xdf);
		parent.setBackground(bgcolor);
		final GridData gridData = new GridData(GridData.CENTER,GridData.CENTER,false,false);
		gridData.widthHint = 260;
		gridData.heightHint = 120;
		
		final Canvas  canvas = new Canvas(parent,SWT.NONE);
		canvas.setLayoutData(gridData);
		canvas.setBackground(bgcolor);
		canvas.setSize(parent.getClientArea().width,parent.getClientArea().height);
		canvas.addPaintListener(new PaintListener(){
			public void paintControl(PaintEvent e){
				e.gc.drawImage(CacheImage.getINSTANCE().getImage(IAppConstants.APPLICATION_ID,IImageKey.COPY_INFO),0, 0);
				//e.gc.drawString(""+parent.getClientArea().height+""+parent.getClientArea().width,50,50);
			}
		});
		
		return parent;
		
	}
	protected void createButtonsForButtonBar(final Composite parent){
		parent.setBackground(bgcolor);
		createButton(parent,IDialogConstants.CANCEL_ID,"确定",true);
	}
	protected Point getInitialSize(){
		return new Point(280,190);
	}
	public boolean close(){
		if(bgcolor != null)
			bgcolor.dispose();
		return super.close();
	}
	protected void configureShell(Shell parent){
		super.configureShell(parent);
		parent.setText("关于自动机处理软件");
	}
}

⌨️ 快捷键说明

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