Re: EC font support missing for @code

[Karl Berry]

      @code{þ} þ

    to see what I mean.  Below a possible fix.

Thanks, looks fine to me.  Installed.