org.basex.gui

Class GUIMacOSX

java.lang.Object

org.basex.gui.GUIMacOSX

public final class GUIMacOSX
extends java.lang.Object

Sets some Mac OS X specific interface options.

Author:

BaseX Team 2005-12, BSD License, Bastian Lemke

Constructor Summary

Constructors

Constructor and Description
GUIMacOSX() Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
void	init(GUI gui) Initializes this mac gui with the main gui.
void	setBadge(java.lang.String value) Sets a value for the badge in the dock.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GUIMacOSX

public GUIMacOSX()
          throws java.lang.Exception

Constructor.

Throws:

java.lang.Exception - if any error occurs.

Method Detail

init

public void init(GUI gui)

Initializes this mac gui with the main gui. Has to be called immediately after creating the gui.

Parameters:

gui - main gui reference

setBadge

public void setBadge(java.lang.String value)
              throws java.lang.Exception

Sets a value for the badge in the dock.

Parameters:

value - string value

Throws:

java.lang.Exception - if any error occurs