wrap Editor in GtkOverlay; show messages as overlay