progress on showPGF

2021-11-16 16:15:22 +01:00
parent 10e26575de
commit 1e3efd9fa4
7 changed files with 169 additions and 5 deletions
--- a/src/runtime/c/pgf/printer.h
+++ b/src/runtime/c/pgf/printer.h
@@ -46,8 +46,6 @@ public:
    // it will be allocated automatically.
    void nprintf(size_t buf_size, const char *format, ...) __attribute__ ((format (printf, 3, 4)));

-    void print_name(PgfText *name);
-
    PgfText *get_text();

    void hypo(PgfTypeHypo *hypo, int prio);