deyou
102 lines
3.0 KiB
Java
102 lines
3.0 KiB
Java
package properties;
|
|
|
|
import java.awt.EventQueue;
|
|
import java.awt.event.*;
|
|
import java.io.*;
|
|
import java.util.Properties;
|
|
|
|
import javax.swing.*;
|
|
|
|
/**
|
|
* A program to test properties. The program remembers the frame position, size,
|
|
* and title.
|
|
* @version 1.01 2015-06-16
|
|
* @author Cay Horstmann
|
|
*/
|
|
public class PropertiesTest
|
|
{
|
|
public static void main(String[] args)
|
|
{
|
|
EventQueue.invokeLater(() -> {
|
|
PropertiesFrame frame = new PropertiesFrame();
|
|
frame.setVisible(true);
|
|
});
|
|
}
|
|
}
|
|
|
|
/**
|
|
* A frame that restores position and size from a properties file and updates
|
|
* the properties upon exit.
|
|
*/
|
|
class PropertiesFrame extends JFrame
|
|
{
|
|
private static final int DEFAULT_WIDTH = 300;
|
|
private static final int DEFAULT_HEIGHT = 200;
|
|
|
|
private File propertiesFile;
|
|
private Properties settings;
|
|
|
|
public PropertiesFrame()
|
|
{
|
|
// get position, size, title from properties
|
|
|
|
String userDir = System.getProperty("user.home");
|
|
File propertiesDir = new File(userDir, ".corejava");
|
|
if (!propertiesDir.exists()) propertiesDir.mkdir();
|
|
propertiesFile = new File(propertiesDir, "program.properties");
|
|
|
|
Properties defaultSettings = new Properties();
|
|
defaultSettings.setProperty("left", "0");
|
|
defaultSettings.setProperty("top", "0");
|
|
defaultSettings.setProperty("width", "" + DEFAULT_WIDTH);
|
|
defaultSettings.setProperty("height", "" + DEFAULT_HEIGHT);
|
|
defaultSettings.setProperty("title", "");
|
|
|
|
settings = new Properties(defaultSettings);
|
|
|
|
if (propertiesFile.exists())
|
|
try (InputStream in = new FileInputStream(propertiesFile))
|
|
{
|
|
settings.load(in);
|
|
}
|
|
catch (IOException ex)
|
|
{
|
|
ex.printStackTrace();
|
|
}
|
|
|
|
int left = Integer.parseInt(settings.getProperty("left"));
|
|
int top = Integer.parseInt(settings.getProperty("top"));
|
|
int width = Integer.parseInt(settings.getProperty("width"));
|
|
int height = Integer.parseInt(settings.getProperty("height"));
|
|
setBounds(left, top, width, height);
|
|
|
|
// if no title given, ask user
|
|
|
|
String title = settings.getProperty("title");
|
|
if (title.equals(""))
|
|
title = JOptionPane.showInputDialog("Please supply a frame title:");
|
|
if (title == null) title = "";
|
|
setTitle(title);
|
|
|
|
addWindowListener(new WindowAdapter()
|
|
{
|
|
public void windowClosing(WindowEvent event)
|
|
{
|
|
settings.setProperty("left", "" + getX());
|
|
settings.setProperty("top", "" + getY());
|
|
settings.setProperty("width", "" + getWidth());
|
|
settings.setProperty("height", "" + getHeight());
|
|
settings.setProperty("title", getTitle());
|
|
try (OutputStream out = new FileOutputStream(propertiesFile))
|
|
{
|
|
settings.store(out, "Program Properties");
|
|
}
|
|
catch (IOException ex)
|
|
{
|
|
ex.printStackTrace();
|
|
}
|
|
System.exit(0);
|
|
}
|
|
});
|
|
}
|
|
} |