Page MenuHomePhabricator

Move "External Editor" settings to a separate settings group
ClosedPublic

Authored by epriestley on Apr 18 2020, 4:56 PM.
Tags
None
Referenced Files
F18985435: D21140.id50337.diff
Mon, Nov 17, 1:02 PM
F18875867: D21140.id.diff
Wed, Nov 5, 7:53 PM
F18810407: D21140.id50337.diff
Oct 19 2025, 9:23 PM
F18807313: D21140.diff
Oct 19 2025, 12:35 AM
F18790561: D21140.id50337.diff
Oct 15 2025, 3:32 PM
F18734242: D21140.id.diff
Sep 30 2025, 10:50 PM
F18725893: D21140.diff
Sep 30 2025, 5:59 AM
F18101013: D21140.diff
Aug 9 2025, 12:15 PM
Subscribers
None

Details

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)

Diff Detail

Repository
rP Phabricator
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

This revision was not accepted when it landed; it landed in state Needs Review.Apr 19 2020, 3:59 PM
This revision was automatically updated to reflect the committed changes.