-- | local menu for the nodetypes spec and locallyEmpty_spec
createMenuNode :: Shape GA.NodeValue -> String -> GInfo -> Bool
               -> DaVinciNodeTypeParms GA.NodeValue
createMenuNode shape color gi internal = shape
  $$$ Color color
  $$$ (if internal then Just $ titleInternal gi else Nothing)
  $$$? (if internal then Nothing else Just titleNormal)
  $$$? LocalMenu (Menu Nothing (map ($ gi)
        [ createMenuButtonShowNodeInfo
        , createMenuButtonShowTheory
        , createMenuButtonTranslateTheory
        , createMenuTaxonomy
        , createMenuButtonShowProofStatusOfNode
        , createMenuButtonProveAtNode
        , createMenuButtonProveStructured
#ifdef GTKGLADE
        , createMenuButtonDisproveAtNode
        , createMenuButtonAddSentence
        , createMenuButtonCCCAtNode
#endif
        , createMenuButtonCheckCons
        ]))
  $$$ emptyNodeTypeParms
createMenuNode :: Shape GA.NodeValue -> String -> GInfo -> Bool
               -> DaVinciNodeTypeParms GA.NodeValue
createMenuNode shape color gi internal = shape
  $$$ Color color
  $$$ (if internal then Just $ titleInternal gi else Nothing)
  $$$? (if internal then Nothing else Just titleNormal)
  $$$? LocalMenu (Menu Nothing (map ($ gi)
        [ createMenuButtonShowNodeInfo
        , createMenuButtonShowTheory
        , createMenuButtonTranslateTheory
        , createMenuTaxonomy
        , createMenuButtonShowProofStatusOfNode
        , createMenuButtonProveAtNode
        , createMenuButtonProveStructured
#ifdef GTKGLADE
        , createMenuButtonDisproveAtNode
        , createMenuButtonAddSentence
        , createMenuButtonCCCAtNode
#endif
        , createMenuButtonCheckCons
        ]))
  $$$ emptyNodeTypeParms
createMenuNode shape color gi internal = shape
  $$$ Color color
  $$$ (if internal then Just $ titleInternal gi else Nothing)
  $$$? (if internal then Nothing else Just titleNormal)
  $$$? LocalMenu (Menu Nothing (map ($ gi)
        [ createMenuButtonShowNodeInfo
        , createMenuButtonShowTheory
        , createMenuButtonTranslateTheory
        , createMenuTaxonomy
        , createMenuButtonShowProofStatusOfNode
        , createMenuButtonProveAtNode
        , createMenuButtonProveStructured
#ifdef GTKGLADE
        , createMenuButtonDisproveAtNode
        , createMenuButtonAddSentence
        , createMenuButtonCCCAtNode
#endif
        , createMenuButtonCheckCons
        ]))
  $$$ emptyNodeTypeParms