Combine the two header widgets into a single panel and compact
the entire display to take up less overall screen space. The
header is now only a single line of text.
The format looks like:
[x] path/of/FILE < ^ >
The reviewed checkbox is on the left next to the file name.
The path uses plain text for the directory part and BOLD for the
file name itself. This makes it easier to spot the specific file
name being reviewed.
The navigation arrows are now clustered on the right using a
small icon for each. This saves a lot of screen space.
Change-Id: Ibd6b7e1022bfe3d6e97638df1fc94f492dae9af1
45b5ddeae8