diff options
| author | Javier <dev.git@javispedro.com> | 2014-02-09 00:46:32 +0100 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2014-02-09 00:46:32 +0100 |
| commit | b0f4f142bf7abdcc1a8b9437911b6794a3cb09d2 (patch) | |
| tree | e46aa0e0c6645200450c933f3273c3f0a7dc988d | |
| parent | d27bdf9c86db7d8b8fcea0ec946e913ad2ba71b4 (diff) | |
| download | topmenu-mozilla-b0f4f142bf7abdcc1a8b9437911b6794a3cb09d2.tar.gz topmenu-mozilla-b0f4f142bf7abdcc1a8b9437911b6794a3cb09d2.zip | |
fix possible leaks
| -rw-r--r-- | chrome/content/topmenuservice.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chrome/content/topmenuservice.js b/chrome/content/topmenuservice.js index ffafba8..494ea3e 100644 --- a/chrome/content/topmenuservice.js +++ b/chrome/content/topmenuservice.js @@ -572,7 +572,7 @@ WindowProxy.prototype.removeItem = function(item) { var gtkItem = item.topmenuData.gtkItem; gtk.gtk_widget_destroy(gtkItem); - gtkItem.forget(); + gtkItem.dispose(); delete item.topmenuData; } @@ -581,7 +581,7 @@ WindowProxy.prototype.removeMenu = function(menu) { var gtkMenu = menu.topmenuData.gtkMenu; gtk.gtk_widget_destroy(gtkMenu); - gtkMenu.forget(); + gtkMenu.dispose(); } WindowProxy.prototype.updateItem = function(item, changedAttr) { |