diff options
| -rw-r--r-- | browser/base/content/browser-places.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/browser/base/content/browser-places.js b/browser/base/content/browser-places.js index de880d11d..a447880be 100644 --- a/browser/base/content/browser-places.js +++ b/browser/base/content/browser-places.js @@ -1557,8 +1557,8 @@ var BookmarkingUI = { this.button._placesView.uninit(); // ...and do the same for the menu bar. let menubar = document.getElementById("bookmarksMenu"); - if (menubar._placesview) - menubar._placesview.uninit(); + if (menubar && menubar._placesView) + menubar._placesView.uninit(); // We have to do the same thing for the "special" views underneath the // the bookmarks menu. |