PropertiesChanged

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> org >> gjt >> sp >> jedit >> [ msg overview ]

PREV CLASS NEXT CLASS

SUMMARY:

DETAIL: FIELD | CONSTR | METHOD

org.gjt.sp.jedit.msg
Class PropertiesChanged

java.lang.Object
  org.gjt.sp.jedit.EBMessage
      org.gjt.sp.jedit.msg.PropertiesChanged

Message sent when properties are changed using the global options or plugin options dialog box.

Since:: jEdit 2.2pre6
Version:: $Id: PropertiesChanged.java,v 1.2 2002/05/14 07:55:49 spestov Exp $

Nested Class Summary

Nested classes inherited from class org.gjt.sp.jedit.EBMessage

org.gjt.sp.jedit.EBMessage.NonVetoable

Field Summary

Fields inherited from class org.gjt.sp.jedit.EBMessage

Constructor Summary

PropertiesChanged(org.gjt.sp.jedit.EBComponent source)
Creates a new properties changed message.

Methods inherited from class org.gjt.sp.jedit.EBMessage

getSource, isVetoed, paramString, toString, veto

Methods inherited from class java.lang.Object

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

Constructor Detail

public PropertiesChanged(org.gjt.sp.jedit.EBComponent source)

Creates a new properties changed message.