GUI: move some options to a new View menu, and add some more index stats
Authored by: Jean-Francois Dockes 2016-04-11
Parent(s): [d0400b]
Child(ren): [80e3b6]