HomePhabricator

Move "External Editor" settings to a separate settings group

Description

Move "External Editor" settings to a separate settings group

Summary:
Ref T13515. It's not intuitive that these settings are "Display Preferences", even thought they're intenrally related to some of the other display preferences.

Give them a separate group.

Test Plan:

Screen Shot 2020-04-18 at 9.53.19 AM.png (1×1 px, 335 KB)

Maniphest Tasks: T13515

Differential Revision: https://secure.phabricator.com/D21140