James E. Blair ddd2088e57 Display file header in top line of diff
To remind the user of the path of the file shown at the top of the
diff, always display the filename there, even after the file header
has scrolled past the top of the screen.

Change-Id: Icf3419647c2ccec45f878fbdc882e3d624eadebb
2015-04-08 15:36:15 -04:00
..
2015-04-06 07:45:58 -07:00
2014-04-29 16:28:49 -07:00
2014-05-07 21:35:07 -04:00
2015-04-08 15:35:51 -04:00
2015-04-06 07:45:58 -07:00
2015-04-06 07:47:23 -07:00
2014-08-01 15:49:30 -07:00
2015-04-06 07:47:23 -07:00
2015-04-08 15:36:15 -04:00
2015-04-06 07:47:23 -07:00
2014-08-30 14:55:53 -07:00