Paste: Listener font

Author: mrjbq7
Mode: factor
Date: Thu, 27 Aug 2015 00:29:42
Plain Text |
! Paste this into listener and ``save``.

    \ listener-streams dup reset [
        [
            [ [ 16 >>size ] change-font ]
            [ H{ { font-size 16 } } swap make-span-stream ] bi*
        ] append
    ] annotate

New Annotation

Summary:
Author:
Mode:
Body: