disableStartupPopups: true
gui:
  theme:
    activeBorderColor:
    - green
    - bold
    SelectedRangeBgcolor:
    - reverse
  # TODO: we should update most tests to use a file tree now that it's the default
  showFileTree: false