Preference

Attributes

Source

Preference.scala

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class BoldWidgetText

class BooleanPreference

object FocusOnError

object IsLoggingEnabled

object LoadLastOnStartup

object StartSeparateCodeTab

class EditorLineNumbers

class IncludedFilesMenu

class IndentAutomatically

class JumpOnClick

object Language

class LogDirectory

object ProceduresMenuSortOrder

class ReloadOnExternalChanges

class StringPreference

object LogEvents

object UIScale

Show all