rev 264+: unable to load full document unless Ctrl+R or Ctrl+I is pressed

[xapantu]

Since rev 264, there is a bug when scratch loads large files (~ >150 lines), the scrolling is inefficient. Workaround: activate the goto entry or the replace entry (Ctrl+R or Ctrl+I). It seems to be caused by the SearchManager, but it is really very odd, it might be a gtksourceview/gtk bug.

[xapantu (xapantu)]

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...