createMenuButtonShowTheory :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonShowTheory gi =
  createMenuButton "Show theory" (getTheoryOfNode gi) gi
createMenuButtonShowTheory :: GInfo -> ButtonMenu GA.NodeValue
createMenuButtonShowTheory gi =
  createMenuButton "Show theory" (getTheoryOfNode gi) gi
createMenuButtonShowTheory gi =
  createMenuButton "Show theory" (getTheoryOfNode gi) gi