Added File toolbar and dock widgets to the editor

But on my Xubuntu, the dock widgets create weird glitches : when
floating they create "ghosts" that don't close...