HomePhorge

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: {F7370500}

Maniphest Tasks: T13515

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

Details

Provenance
epriestleyAuthored on Apr 18 2020, 9:51 AM
themackabuPushed on Mar 25 2025, 8:07 PM
Parents
rPc3c55d82ae9d: Make "renderer", "engine", and "encoding" sticky across reloads in Differential…
Branches
Loading...
Tags
None

Event Timeline