HistoryRecorderOptions
class HistoryRecorderOptions
Defines options for recording history files.
Parameters
fileDirectory
used for saving history files. Null use a default directory.
Types
Link copied to clipboard
class Builder
Builder for HistoryRecorderOptions.