ReplProps
Defined in: repl.tsx:31
Properties
Section titled “Properties”border?
Section titled “border?”
readonlyoptionalborder?:boolean
Defined in: repl.tsx:35
An outer border. Defaults to false.
darkTheme?
Section titled “darkTheme?”
readonlyoptionaldarkTheme?:Extension
Defined in: repl.tsx:37
disableUpdateSchema?
Section titled “disableUpdateSchema?”
readonlyoptionaldisableUpdateSchema?:boolean
Defined in: repl.tsx:43
Do not re-read the tables for autocompletion after each input. Defaults to false.
lightTheme?
Section titled “lightTheme?”
readonlyoptionallightTheme?:Extension
Defined in: repl.tsx:36
readonlypg:ReplDatabase
Defined in: repl.tsx:33
The database: a Pgwasm, or anything with its query and exec (replAdapter(client)).
showTime?
Section titled “showTime?”
readonlyoptionalshowTime?:boolean
Defined in: repl.tsx:41
Show how long each input took. Defaults to false.
theme?
Section titled “theme?”
readonlyoptionaltheme?:ReplTheme
Defined in: repl.tsx:39
auto follows the system’s colour scheme. Defaults to auto.