зеркало из https://github.com/mozilla/gecko-dev.git
+ partial fix for 586721: Kill dev menu [r=dolske a=dolske]
--HG-- extra : rebase_source : 9ee847d90a3f517474e6982e6d0b3ae8a8f2ec9c
This commit is contained in:
Родитель
0154d3137a
Коммит
44f06cfe7b
|
@ -107,7 +107,12 @@ var UIManager = {
|
|||
this._currentTab = gBrowser.selectedTab;
|
||||
|
||||
// ___ Dev Menu
|
||||
this._addDevMenu();
|
||||
// This dev menu is not meant for shipping, nor is it of general
|
||||
// interest, but we still need it for the time being. Change the
|
||||
// false below to enable; just remember to change back before
|
||||
// committing. Bug 586721 will track the ultimate removal.
|
||||
if (false)
|
||||
this._addDevMenu();
|
||||
|
||||
// When you click on the background/empty part of TabView,
|
||||
// we create a new groupItem.
|
||||
|
|
Загрузка…
Ссылка в новой задаче