AGUI.java

package org.basex.gui;

import static org.basex.gui.GUIConstants.*;
import java.awt.Cursor;
import javax.swing.JFrame;
import org.basex.core.Context;
import org.basex.core.Text;
import org.basex.gui.layout.BaseXLayout;

/**
 * Abstract class for GUI windows.
 *
 * @author BaseX Team 2005-12, BSD License
 * @author Christian Gruen
 */
public abstract class AGUI extends JFrame {
  /** Database Context. */
  public final Context context;
  /** GUI properties. */
  public final GUIProp gprop;

  /**
   * Default constructor.
   * @param ctx database context
   * @param gprops gui properties
   */
  AGUI(final Context ctx, final GUIProp gprops) {
    setIconImage(BaseXLayout.image("icon"));
    setTitle(null);
    context = ctx;
    gprop = gprops;
  }

  @Override
  public final void setTitle(final String title) {
    final String t = title == null || title.isEmpty() ? "" : " - " + title;
    super.setTitle(Text.TITLE + t);
  }

  /**
   * Sets a cursor.
   * @param c cursor to be set
   */
  public final void cursor(final Cursor c) {
    cursor(c, false);
  }

  /**
   * Sets a cursor, forcing a new look if necessary.
   * @param c cursor to be set
   * @param force new cursor
   */
  public final void cursor(final Cursor c, final boolean force) {
    final Cursor cc = getCursor();
    if(cc != c && (cc != CURSORWAIT || force)) setCursor(c);
  }
}