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