de.jreality.plugin.portal

Class PortalProperties

java.lang.Object

de.jreality.plugin.portal.PortalProperties

public class PortalProperties
extends Object

This class is a wrapper for @see de.jreality.portal.PortalCoordinateSystem. It is used to get src-plugin independent of src-portal

Author:

Heydt

Constructor Summary

Constructors

Constructor and Description
PortalProperties()

Method Summary

Modifier and Type	Method and Description
static void	addChangeListener(ActionListener l)
static double	getPortalScale()
static void	removeChangeListener(ActionListener l)
static void	setListeners(Vector<ActionListener> l)
static void	setPortalScale(double pScale)

Methods inherited from class java.lang.Object

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

Constructor Detail

PortalProperties

public PortalProperties()

Method Detail

getPortalScale

public static double getPortalScale()

setPortalScale

public static void setPortalScale(double pScale)

setListeners

public static void setListeners(Vector<ActionListener> l)

addChangeListener

public static void addChangeListener(ActionListener l)

removeChangeListener

public static void removeChangeListener(ActionListener l)