> When you click a link to a particular line in dxr, that would normally > navigate from https://dxr/footo https://dxr/foo#lineno. Instead, have it > navigate to https://dxr/rev/foo#lineno. If done as a straight navigation, > it's annoying, because it reloads the page. So instead, do it as a pushState > that changes the url.
This is my favorite so far. Presently, though, any /rev/ link pulls straight from version control, skipping the compiler analysis insertion, so you don't get token highlighting, structural context menus, etc. We'd have to rejigger things so the current rev knows it's current and pulls those things in. _______________________________________________ dev-platform mailing list [email protected] https://lists.mozilla.org/listinfo/dev-platform
