-- | local menu for the nodetypes dg_ref and locallyEmpty_dg_ref
createMenuNodeRef :: Shape GA.NodeValue -> String -> GInfo -> ConvFunc
                  -> LibFunc -> Bool -> DaVinciNodeTypeParms GA.NodeValue
createMenuNodeRef shape color gi convGraph showLib internal = shape
  $$$ Color color
  $$$ (if internal then Just $ titleInternal gi else Nothing)
  $$$? (if internal then Nothing else Just titleNormal)
  $$$? LocalMenu (Menu Nothing
        [ createMenuButtonShowNodeInfo gi
        , createMenuButtonShowTheory gi
        , createMenuButtonShowProofStatusOfNode gi
        , createMenuButtonProveAtNode gi
#ifdef GTKGLADE
        , createMenuButtonDisproveAtNode gi
#endif
        , Button "Show referenced library"
            (\ (_, n) -> showReferencedLibrary n gi convGraph showLib)
        ])
  $$$ emptyNodeTypeParms
createMenuNodeRef :: Shape GA.NodeValue -> String -> GInfo -> ConvFunc
                  -> LibFunc -> Bool -> DaVinciNodeTypeParms GA.NodeValue
createMenuNodeRef shape color gi convGraph showLib internal = shape
  $$$ Color color
  $$$ (if internal then Just $ titleInternal gi else Nothing)
  $$$? (if internal then Nothing else Just titleNormal)
  $$$? LocalMenu (Menu Nothing
        [ createMenuButtonShowNodeInfo gi
        , createMenuButtonShowTheory gi
        , createMenuButtonShowProofStatusOfNode gi
        , createMenuButtonProveAtNode gi
#ifdef GTKGLADE
        , createMenuButtonDisproveAtNode gi
#endif
        , Button "Show referenced library"
            (\ (_, n) -> showReferencedLibrary n gi convGraph showLib)
        ])
  $$$ emptyNodeTypeParms
createMenuNodeRef shape color gi convGraph showLib internal = shape
  $$$ Color color
  $$$ (if internal then Just $ titleInternal gi else Nothing)
  $$$? (if internal then Nothing else Just titleNormal)
  $$$? LocalMenu (Menu Nothing
        [ createMenuButtonShowNodeInfo gi
        , createMenuButtonShowTheory gi
        , createMenuButtonShowProofStatusOfNode gi
        , createMenuButtonProveAtNode gi
#ifdef GTKGLADE
        , createMenuButtonDisproveAtNode gi
#endif
        , Button "Show referenced library"
            (\ (_, n) -> showReferencedLibrary n gi convGraph showLib)
        ])
  $$$ emptyNodeTypeParms