The Options popover is supposed to show options related to the current folder being viewed, while the settings page is supposed to contain global settings. It does make sense to rename Options to View.
The Options popover is supposed to show options related to the current folder being viewed, while the settings page is supposed to contain global settings. It does make sense to rename Options to View.