Package com.google.gerrit.extensions.client

Class EditPreferencesInfo

java.lang.Object

com.google.gerrit.extensions.client.EditPreferencesInfo

public class EditPreferencesInfo
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Boolean	autoCloseBrackets
Integer	cursorBlinkRate
Boolean	hideLineNumbers
Boolean	hideTopMenu
Integer	indentUnit
Boolean	indentWithTabs
KeyMapType	keyMapType
Integer	lineLength
Boolean	lineWrapping
Boolean	matchBrackets
Boolean	showBase
Boolean	showTabs
Boolean	showWhitespaceErrors
Boolean	syntaxHighlighting
Integer	tabSize
Theme	theme

Constructor Summary

Constructors

Constructor	Description
EditPreferencesInfo()

Method Summary

Modifier and Type	Method	Description
static EditPreferencesInfo	defaults()

Methods inherited from class java.lang.Object

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

Field Detail

tabSize

public Integer tabSize

lineLength

public Integer lineLength

indentUnit

public Integer indentUnit

cursorBlinkRate

public Integer cursorBlinkRate

hideTopMenu

public Boolean hideTopMenu

showTabs

public Boolean showTabs

showWhitespaceErrors

public Boolean showWhitespaceErrors

syntaxHighlighting

public Boolean syntaxHighlighting

hideLineNumbers

public Boolean hideLineNumbers

matchBrackets

public Boolean matchBrackets

lineWrapping

public Boolean lineWrapping

indentWithTabs

public Boolean indentWithTabs

autoCloseBrackets

public Boolean autoCloseBrackets

showBase

public Boolean showBase

theme

public Theme theme

keyMapType

public KeyMapType keyMapType

Constructor Detail

EditPreferencesInfo

public EditPreferencesInfo()

Method Detail

defaults

public static EditPreferencesInfo defaults()