Asumu Takikawa fadd00e610 GUI doc fixes ... Two of the contracts were inaccurate and, if true, would have violated subtyping between editor<%> and text%. Please merge to v6.0 original commit: 287a59ce124a7747e5316854ad7a727287923a55		2013-11-26 17:11:32 -05:00
pkgs	GUI doc fixes	2013-11-26 17:11:32 -05:00