зеркало из https://github.com/mozilla/pjs.git
Bug 261544: Menu items "Delete host" and "Delete domain" aren't visible when history tree is empty
r+sr=Neil
This commit is contained in:
Родитель
ad32ad89eb
Коммит
36c8943322
|
@ -110,7 +110,11 @@ function HistoryCommonInit()
|
|||
|
||||
if (gHistoryStatus)
|
||||
gHistoryTree.focus();
|
||||
gHistoryTree.view.selection.select(0);
|
||||
|
||||
if (gHistoryTree.view.rowCount > 0)
|
||||
gHistoryTree.view.selection.select(0);
|
||||
else if (gHistoryStatus)
|
||||
updateHistoryCommands();
|
||||
}
|
||||
|
||||
function HistoryPanelUnload()
|
||||
|
|
Загрузка…
Ссылка в новой задаче