DocumentProperties
org.nlogo.editor.DocumentProperties
object DocumentProperties extends PropertyChangeListener
Attributes
- Source
- DocumentProperties.scala
- Graph
-
- Supertypes
-
trait PropertyChangeListenertrait EventListenerclass Objecttrait Matchableclass Any
- Self type
-
DocumentProperties.type
Members list
In this article