Thanks for the hint, Mark; but it does not work for me (pl37,
Linux-1.2.13, XFree-3.1.2):
    AddToMenu Utilities	"Utilities"	Title 	
    +			"Paging ..."	Popup Paging-Style
    [rest of menu elided]
    
    AddToMenu Paging-Style 	"Paging Options" Title	
    +			"OFF"	EdgeScroll 0 0
    +			"ON"	EdgeScroll 100 100
    +			"Horizontal Only"	EdgeScroll 100 0
    +			"Vertical Only"		EdgeScroll 0 100
    +			"Partial"		EdgeScroll 50 50
    
Does depend on `EdgeResistance'?  Karl.
--
To unsubscribe from the list, send "unsubscribe fvwm" in the body of a
message to majordomo_at_hpc.uh.edu.
To report problems, send mail to fvwm-owner_at_hpc.uh.edu.
Received on Sat Oct 14 1995 - 01:10:35 BST