Updated patch.  Thanks to David Blaikie who rebased the patch on a more recent revision.  Should be easier to work with now.<div><br></div><div>Other small differences.  The special ToggleBold value has been changed from an enum value to a const char.  The output stream was converted the enum to an int instead of a char.  Also changed the highlighting to have color.  Template differences now stand out more.</div>