NetLogo
7.0.0-beta2
API
Generated with
NetLogo/org.nlogo/org.nlogo.app/org.nlogo.app.tools/Preferences/EditorLineNumbers

EditorLineNumbers

org.nlogo.app.tools.Preferences.EditorLineNumbers
class EditorLineNumbers(tabs: TabsInterface) extends Preference

Attributes

Source
Preferences.scala
Graph
Supertypes
trait Preference
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def component: CheckBox

Attributes

Definition Classes
Source
Preferences.scala
def load(): Unit

Attributes

Source
Preferences.scala
def save(): Unit

Attributes

Source
Preferences.scala

Concrete fields

val i18nKey: String

Attributes

Source
Preferences.scala

Inherited fields

val anchor: Int

Attributes

Inherited from:
Preference
Source
Preference.scala
Generated with