Skip to content

Commit db95580

Browse files
committed
Disable Tools->Dominance when viewing game in extensive form.
1 parent 4d9268b commit db95580

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/gui/gameframe.cc

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -504,6 +504,9 @@ void GameFrame::MakeMenus()
504504
auto *toolsMenu = new wxMenu;
505505
toolsMenu->Append(GBT_MENU_TOOLS_DOMINANCE, _("&Dominance"), _("Find undominated actions"),
506506
true);
507+
if (m_doc->GetGame()->IsTree()) {
508+
toolsMenu->Enable(GBT_MENU_TOOLS_DOMINANCE, false);
509+
}
507510
AppendBitmapItem(toolsMenu, GBT_MENU_TOOLS_EQUILIBRIUM, _("&Equilibrium"),
508511
_("Compute Nash equilibria and refinements"), wxBitmap(calc_xpm));
509512

@@ -1148,6 +1151,7 @@ void GameFrame::OnViewStrategic(wxCommandEvent &p_event)
11481151
GetMenuBar()->Check(GBT_MENU_VIEW_STRATEGIC, m_nfgPanel->IsShown());
11491152
GetMenuBar()->Enable(GBT_MENU_VIEW_ZOOMIN, !p_event.IsChecked());
11501153
GetMenuBar()->Enable(GBT_MENU_VIEW_ZOOMOUT, !p_event.IsChecked());
1154+
GetMenuBar()->Enable(GBT_MENU_TOOLS_DOMINANCE, m_nfgPanel->IsShown());
11511155

11521156
GetToolBar()->ToggleTool(GBT_MENU_VIEW_STRATEGIC, p_event.IsChecked());
11531157
GetToolBar()->EnableTool(GBT_MENU_VIEW_ZOOMIN, !p_event.IsChecked());

0 commit comments

Comments
 (0)