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

📄 configfilebar.java

📁 AStar算法
💻 JAVA
字号:
/******************************************************************************* * Copyright © 2008 Sandro Badame. All Rights Reserved. *  * This software and the accompanying materials is available under the  * Eclipse Public License 1.0 (EPL), which accompanies this distribution, and is * available at http://visualjpf.sourceforge.net/epl-v10.html ******************************************************************************/package com.javapathfinder.vjp.config;import org.eclipse.swt.SWT;import org.eclipse.swt.events.SelectionEvent;import org.eclipse.swt.layout.RowLayout;import org.eclipse.swt.widgets.Button;import org.eclipse.swt.widgets.Composite;/** * Composite that displays the buttons above the config file tree. * The buttons currently include: * <ul> * <li>New - creates a new JPF Configuration File </li> * <li> Delete - deletes the currently selected JPF Configuration File </li> * </ul> *   * @author Sandro Badame */public class ConfigFileBar extends Composite {    private Button newFile;  private Button deleteFile;    /**   * Creates this button bar and lays out its contents.   * @param parent The parent composite for this button bar.   */  public ConfigFileBar(Composite parent, int style) {    super(parent, style);    setLayout(new RowLayout());    createContents(this);  }    private void createContents(Composite parent){    newFile = new Button(parent, SWT.NULL);    deleteFile = new Button(parent, SWT.NULL);        newFile.setText("New");    deleteFile.setText("Delete");  }    /**   * Returns the button labeled "New"   */  public Button getNewFileButton() {    return newFile;  }    /**   * Returns the button labeled "Delete"   */  public Button getDeleteFileButton(){    return deleteFile;  }    /**   * Not implemented here.   */  public void widgetDefaultSelected(SelectionEvent e) {}}

⌨️ 快捷键说明

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