Bug 71984: "Renamed bookmark not remembered", author=Boris Zbarsky <bzbarsky@mit.edu>, r=blake, sr=ben

This commit is contained in:
disttsc%bart.nl 2001-04-26 10:29:34 +00:00
parent dc3e127f13
commit ca77c359cf

View File

@ -69,6 +69,8 @@ function Shutdown ()
win.setAttribute("y", screenY);
win.setAttribute("height", outerHeight);
win.setAttribute("width", outerWidth);
gBookmarksShell.flushDataSource();
}
////////////////////////////////////////////////////////////////////////////////