(x, y, txt)
| 868 | return " ".join("%02x" % orb(c) for c in x) |
| 869 | |
| 870 | def make_dump_txt(x, y, txt): |
| 871 | # type: (int, float, bytes) -> pyx.text.text |
| 872 | return pyx.text.text( |
| 873 | XDSTART + x * XMUL, |
| 874 | (YDUMP - y) * YMUL, |
| 875 | r"\tt{%s}" % hexstr(txt), |
| 876 | [pyx.text.size.Large] |
| 877 | ) |
| 878 | |
| 879 | def make_box(o): |
| 880 | # type: (pyx.bbox.bbox) -> pyx.bbox.bbox |