X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.h;h=c16774dd99cdf3857926769bb012e1807a6d5090;hb=037d8f6e7932459b5d0fb479a2c5030a8088f3d1;hp=ab162a6268979bf551f85992575697ce10857964;hpb=672776c201a00e1a667d37a957e7d2211300d48a;p=pspp

diff --git a/src/output/driver.h b/src/output/driver.h
index ab162a6268..c16774dd99 100644
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -35,8 +35,11 @@ void output_submit (struct output_item *);
 void output_flush (void);
 
 void output_log (const char *, ...) PRINTF_FORMAT (1, 2);
+void output_log_nocopy (char *);
 
+const char *output_get_title (void);
 void output_set_title (const char *);
+const char *output_get_subtitle (void);
 void output_set_subtitle (const char *);
 void output_set_filename (const char *);