[plt-scheme] width of a character in mred

What about using "get-text-exent". Maybe you can wrap the single character
into a string and use it.

	http://download.plt-scheme.org/doc/204/html/mred/mred-Z-H-424.html#node_tag_Temp_433

On Thu, 8 May 2003, David B. Tucker wrote:

>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
> Is there any way to find the width of a particular character in MrEd?
> The dc<%> class has get-char-width, but that returns the average width
> of a character.
>
> Dave
>