"Shells" TITLE PIN

"Xterm..." DEFAULT		exec /usr/bin/X11/xterm
"Shell Tool..."			exec $OPENWINHOME/bin/shelltool
"Command Tool..." 		exec $OPENWINHOME/bin/cmdtool
"Console..."			exec $OPENWINHOME/bin/cmdtool -C
