OnDetailsFocus()

void OnDetailsFocus ( Widget w )

protected

См. определение в файле ServerBrowserTab.c строка 222

    {
        m_SelectedPanel = SelectedPanel.DETAILS;
        m_Menu.DetailsFocus(true);
    }

Перекрестные ссылки m_Menu и m_SelectedPanel.