Search
Preparing search index...
The search index is not available
Theia TypeDoc
Options
All
Public
Public/Protected
All
Inherited
Menu
Theia TypeDoc
editor
RevealPositionOptions
Interface RevealPositionOptions
Hierarchy
RevealPositionOptions
Index
Properties
horizontal
vertical
Properties
Optional
horizontal
horizontal
:
boolean
vertical
vertical
:
"auto"
|
"center"
|
"centerIfOutsideViewport"
Exports
editor
Content
Change
Location
Cursor
Location
Custom
Editor
Widget
Editor
Access
Editor
Commands
Editor
Context
Menu
Editor
Decoration
Style
Editor
Keybinding
Contexts
Editor
Main
Menu
Navigation
Location
Recently
Closed
Editor
Selection
Location
Text
Document
Content
Change
Delta
Text
Editor
Selection
Reveal
Position
Options
horizontal
vertical