There needs to be a "Settings" modal dialog, perhaps triggered by clicking a "cog" icon in the top menu bar. For now, this would list a few boolean parameters that the user could configure.
I'm imagining something like the Google Drive settings dialog:
There needs to be a "Settings" modal dialog, perhaps triggered by clicking a "cog" icon in the top menu bar. For now, this would list a few boolean parameters that the user could configure.
I'm imagining something like the Google Drive settings dialog: