This commit adds a new pretty print menu, we've (far) outgrown the old menu which because hard to traverse.
Attach a file by drag & drop or click to upload
