See: https://code.visualstudio.com/api/references/vscode-api#MessageOptions
export interface MessageOptions