[plt-scheme] width of a character in mred

From: David B. Tucker (dbtucker at cs.brown.edu)
Date: Thu May 8 14:43:26 EDT 2003

Yes, that works ... thanks.

Dave

On Thu, May 08, 2003 at 02:42:06PM -0400, Eduardo Cavazos wrote:
> 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
> >


Posted on the users mailing list.