JGR (version 1.9-2)

jgr.addMenuSeparator: New JGR Console MenuSeparator

Description

adds a Separator to a Menu in JGR Console

Usage

jgr.addMenuSeparator(menu)
jgr.insertMenuSeparator(menu,index)

Value

Menu

Arguments

menu

name of the menu to add this separator to

index

index at which to insert

See Also

jgr.addMenu jgr.addMenuItem

Examples

jgr.addMenu("Workspace")
jgr.addMenuItem("Workspace","Browse","ls()")
jgr.addMenuSeparator("Workspace")
jgr.addMenuItem("Workspace","Browse (pos=2)","ls(pos=2)")