forrest-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Marshall Roch <marsh...@exclupen.com>
Subject Note/warning label padding
Date Mon, 22 Dec 2003 02:07:08 GMT
Attached is a patch to add some padding around the labels in notes, 
warnings, and fixmes.  A very trivial thing, but it bugs me. :-)

--
Marshall Roch

Mime
View raw message