Comment 1 for bug 881638

Hum, it was due to a widget removing, if I replace:
remove(share_app_menu);
by:
share_app_menu.no_show_all = true;
share_app_menu.hide();

It works. I can't see why this could affect the sourceview, but it solves the problem...