update scrollbars of the project dialog as the project list is filtered

gui.js

@@ -5534,6 +5534,7 @@ ProjectDialogMorph.prototype.buildFilterField = function () {
         myself.clearDetails();
         myself.listField.buildListContents();
         myself.fixListFieldItemColors();
+        myself.listField.adjustScrollBars();
         myself.listField.scrollY(myself.listField.top());
         myself.fixLayout();
     };

history.txt

@@ -3158,3 +3158,4 @@ http://snap.berkeley.edu/run#cloud:Username=jens&ProjectName=rotation
 ------
 * GUI: fixed #1540
 * Morphic, Blocks, GUI: Filter Project Names in the “open” dialog, thanks, Bernat!!
+* GUI: update scrollbars of the project dialog as the project list is filtered