JGR (version 1.8-6)

jgr.addMenuSeparator: New JGR Console MenuSeparator

Description

adds a Separator to a Menu in JGR Console

Usage

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

Arguments

menu

name of the menu to add this separator to

index

index at which to insert

Value

Menu

See Also

jgr.addMenu jgr.addMenuItem

Examples

# NOT RUN {
jgr.addMenu("Workspace")
jgr.addMenuItem("Workspace","Browse","ls()")
jgr.addMenuSeparator("Workspace")
jgr.addMenuItem("Workspace","Browse (pos=2)","ls(pos=2)")
# }