These options can be set in the Terminal constructor or by using the Terminal.setOption function.
Terminal
Terminal.setOption
Addons can be loaded and unloaded on a particular terminal to extend its functionality.
Find next Find previous Use regex Case sensitive Whole word
Serialize the content of terminal Write back to terminal