Preference

Attributes

Source

Preference.scala

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class BooleanPreference

class BoldWidgetText

class EditorLineNumbers

object FocusOnError

class IncludedFilesMenu

class IndentAutomatically

object IsLoggingEnabled

class JumpOnClick

object LoadLastOnStartup

class ReloadOnExternalChanges

object SendAnalytics

object StartSeparateCodeTab

object Language

object ProceduresMenuSortOrder

class StringPreference

class LogDirectory

object LogEvents

object UIScale

Show all