Neat! What's the difficulty with making it copy-and-pastable?
Do we want this to be part of the header (visible no matter the scroll position) or just the normal top of the page (will scroll off the top)? Opinions? -- James On Tue, May 7, 2013 at 3:17 PM, Noufal Ibrahim <[email protected]>wrote: > > Hello everyone, > I've taken a stab at bug-758628 and implemented it. I've not > pushed the code yet but wanted some comments. > > I did a simple version that just displays the complete path to > the file being browsed at the top. You can simply select it and paste it > into a text editor or whatever. It looks something like this > http://noufalibrahim.name/normal.png > > Then I tried to make the individual path components clickable > like so http://noufalibrahim.name/clickable.png so that it's navigable > similar to > http://lxr.free-electrons.com/source/block/blk-cgroup.c. This is more > navigable via. the browser but not as cut/paste able as required in the > bug description. > > Any comments? > > Thanks. > > > > -- > Cordially, > Noufal > http://nibrahim.net.in > _______________________________________________ > dev-static-analysis mailing list > [email protected] > https://lists.mozilla.org/listinfo/dev-static-analysis > _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
