Fixed‐pitch font in Z3 - KVonGit/zil-stuff GitHub Wiki
<FONT 4>
--> Sets fixed-pitch font.
In version 3-4 this is done by setting bit 1
of Flags 2
in header <PUT 0 8 <BOR <GET 0 8> 2>>
<FONT 4>
--> Sets fixed-pitch font.
In version 3-4 this is done by setting bit 1
of Flags 2
in header <PUT 0 8 <BOR <GET 0 8> 2>>