Removing buttons from IdeFrameHeader menu

 - Buttons removed from Popover
 - The popover is visible if only at least one file is opened.

 See
 	GNOME/gnome-builder#273
 for details.
3 jobs for wip/test in 54 minutes and 17 seconds (queued for 2 seconds)
latest