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