This commit adds a new pretty print menu, we've (far) outgrown the old menu which because hard to traverse.
Avuton Olrich