Closed Bug 1672721 Opened 5 years ago Closed 1 year ago

DXR parity: "Switch tree" menu

Categories

(Webtools :: Searchfox, defect)

defect

Tracking

(Not tracked)

RESOLVED FIXED

People

(Reporter: away, Assigned: arai)

References

Details

Attachments

(1 file)

This is one of the few things that I still prefer DXR for. Using DXR's "switch tree" menu to move between ESRs (while keeping the search terms) is a convenient way to coarsely navigate through time and see how code evolved.

This does sound like a nice improvement on the current approach of "manually change the URL". I think we can probably improve on DXR's approach which lists every tree it knows about (naive DOM inspector usage suggests there are 76 trees?!) and instead:

  • Group trees by product and have a direct affordance for switching trees within the same product. It could also make sense to be able to switch products via a separate drop-down, which would satisfy use-cases of "I wonder what's going on for this in Thunderbird or KaiOS" without having to show those trees all the time for the normal Firefox development use-case.
  • Have the tree-ordering be manually ordered rather than alphabetically ordered. This allows us to impose a more chronological ordering.

Because we shard the various incarnations of mozilla-central over multiple config files, this might imply that we should create something like "global-config.json" which could define the product groups and the order of the trees within their group. For example, we might do:

  • Firefox
    • mozilla-central
    • mozilla-beta
    • mozilla-release
    • mozilla-esr78
    • mozilla-esr68
    • mozilla-esr60
    • mozilla-esr45
    • mozilla-esr31
    • mozilla-esr17
  • Thunderbird
    • comm-central
    • comm-esr78
    • comm-esr68
    • comm-esr60
  • MinGW
    • mingw
    • mingw-moz
  • KaiOS
  • glean
  • nss
  • WHATWG HTML spec
  • TC39 ECMA262 spec
  • version-control-tools
  • l10n
  • LLVM
See Also: → 1906146
Assignee: nobody → arai.unmht
Status: NEW → ASSIGNED
Attached file GitHub Pull Request
Status: ASSIGNED → RESOLVED
Closed: 1 year ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: