redtiger7 opened this issue on May 14, 2008 ยท 11 posts
adp001 posted Wed, 14 May 2008 at 8:43 PM
Raise highlight size.
