Don't update the views in the GUI directly after each view is created.
Instead, wait until the whole file is read. This speeds up the creation
of the interface dramatically when we have a large number of views in
a single file. (In my code I routinely merge around 1000 views
in a single file to do animations; with this patch, the GUI creation
time goes from 30 seconds to less than 1 second.)