To insert custom banners on the design view

A few problems:

1. The function name you've called in the deRegUserTriggers is new_verifyMenu, but the function is called verifyMenu
2. You've called it as a post-install trigger, whereas it should be a menu trigger (i.e. the third argument)
3. The args parameter is a disembodied property list, and so you must use -> rather than ~> (that's what is causing the primary error message)
4. A user menu trigger should return a list of pulldown menus

So these corrections to your code will do the job:

procedure(MyVerifyMenu(args)
  let((winId new_verify new_verifyMenuList)
    winId = args->windows

    new_verify = hiCreateMenuItem(
     ?name       'new_verify
     ?itemText  "New_Verify"
     ?callback  "uinewverify()"
    )

    new_verifyMenuList = list(new_verify)
    new_verifyMenu = hiCreatePulldownMenu('new_verifyMenu "New_Verify" new_verifyMenuList)
    list(new_verifyMenu)
  )
);let

deRegUserTriggers("maskLayout" nil 'MyVerifyMenu)

I can't be sure why you are getting that particular error message but you are using the triggers incorrectly.

  1                  2   3      4

Quote: deRegUserTriggers("maskLayout" nil nil 'new_verifyMenu)

The menu trigger is the third argument and is the name of the function which returns a list of the menus to be added to the banner menu. The 4th argument is the name of the post install function and should not be used to install a menu.

 Your function should return a list of the menu you want to add:

Return Value => list(new_verifyMenu) and you should register the function symbol for the third argument.

deRegUserTriggers("maskLayout" nil 'verifyMenu nil )

I'm not at a Virtuoso terminal so I could not test the code. I've tagged another relevant post with menuTriggers.

Ted