dmolony-DiskBrowser/src/com/bytezone/diskbrowser/gui/WindowSaver.java

package com.bytezone.diskbrowser.gui;

import java.awt.Dimension;
import java.util.prefs.Preferences;

import javax.swing.JFrame;

// -----------------------------------------------------------------------------------//
class WindowSaver
// -----------------------------------------------------------------------------------//
{
  private final Preferences prefs;
  private final JFrame frame;
  private final String key;

  // ---------------------------------------------------------------------------------//
  WindowSaver (Preferences prefs, JFrame frame, String key)
  // ---------------------------------------------------------------------------------//
  {
    this.prefs = prefs;
    this.frame = frame;
    this.key = key;
  }

  // ---------------------------------------------------------------------------------//
  void saveWindow ()
  // ---------------------------------------------------------------------------------//
  {
    prefs.putInt (key + "X", frame.getX ());
    prefs.putInt (key + "Y", frame.getY ());
    prefs.putInt (key + "Height", frame.getHeight ());
    prefs.putInt (key + "Width", frame.getWidth ());
  }

  // ---------------------------------------------------------------------------------//
  boolean restoreWindow ()
  // ---------------------------------------------------------------------------------//
  {
    int x = prefs.getInt (key + "X", -1);
    int y = prefs.getInt (key + "Y", -1);
    int height = prefs.getInt (key + "Height", -1);
    int width = prefs.getInt (key + "Width", -1);

    Dimension screen = java.awt.Toolkit.getDefaultToolkit ().getScreenSize ();

    if (false)
    {
      System.out.printf ("Screen height ..... %d%n", screen.height);
      System.out.printf ("Screen width ...... %d%n", screen.width);
      System.out.printf ("Window height ..... %d%n", height);
      System.out.printf ("Window width ...... %d%n", width);
    }

    if (width < 0)                                    // nothing to restore
    {
      frame.setLocation (100, 100);
      frame.setSize (1000, 600);
      frame.setLocationRelativeTo (null);             // centre
      return false;
    }

    if (width > screen.getWidth ())
      width = (int) (screen.getWidth ());

    frame.setSize (width, height);
    frame.setLocation (x, y);

    return true;
  }
}