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

📄 filelibrarysaveas.java

📁 用JGraph编的软件
💻 JAVA
字号:
package org.jgraph.pad.actions;

import java.awt.event.ActionEvent;
import java.beans.XMLEncoder;
import java.io.BufferedOutputStream;
import java.io.ObjectOutputStream;
import java.io.Serializable;

import org.jgraph.GPGraphpad;
import org.jgraph.pad.GPLibraryPanel;
import org.jgraph.pad.resources.Translator;

/**
 * Action that saves the Library to a file.
 *
 * @author sven.luzar
 *
 */
public class FileLibrarySaveAs extends AbstractActionFile {

	/**
	 * Constructor for FileLibrarySaveAs.
	 * @param graphpad
	 * @param name
	 */
	public FileLibrarySaveAs(GPGraphpad graphpad) {
		super(graphpad);
	}

	/**
	 * @see java.awt.event.ActionListener#actionPerformed(ActionEvent)
	 */
	public void actionPerformed(ActionEvent e) {
		String libraryExtension = Translator.getString("LibraryExtension");

		String name =
			saveDialog(
				Translator.getString("FileSaveAsLabel"),
				libraryExtension,
				Translator.getString("JGraphpadLibrary", new Object[]{libraryExtension}));
		if (name != null) {
			GPLibraryPanel.ScrollablePanel panel =
				getCurrentDocument().getLibraryPanel().getPanel();
			if (panel != null) {
				Serializable s = panel.getArchiveableState();
				try {
					Boolean compress = new Boolean(Translator.getString("compressLibraries"));
					ObjectOutputStream out = createOutputStream(name, compress.booleanValue());
					XMLEncoder enc =
						new XMLEncoder(
							new BufferedOutputStream(out));
					enc.writeObject(s);
					enc.close();
				} catch (Exception ex) {
					graphpad.error(ex.toString());
				} finally {
					graphpad.invalidate();
				}
			}
		}
	}

}

⌨️ 快捷键说明

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