From: David B. Tucker (dbtucker at cs.brown.edu) Date: Thu May 8 14:07:00 EDT 2003 |
|
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. |
|