From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 26 Jun 2021 21:55:10 +0000 (-0700)
Subject: fixup for TITLE/SUBTITLE commit
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b707aef4702e0998353de081458b7720f67a1b72;p=pspp

fixup for TITLE/SUBTITLE commit
---

diff --git a/src/output/driver.c b/src/output/driver.c
index 33473a0142..f40876449b 100644
--- a/src/output/driver.c
+++ b/src/output/driver.c
@@ -369,6 +369,12 @@ output_log (const char *format, ...)
   output_submit (text_item_create_nocopy (TEXT_ITEM_LOG, s, NULL));
 }
 
+const char *
+output_get_title (void)
+{
+  return engine_stack_top ()->title;
+}
+
 void
 output_set_title (const char *title)
 {
@@ -377,6 +383,12 @@ output_set_title (const char *title)
   output_set_title__ (e, &e->title, title);
 }
 
+const char *
+output_get_subtitle (void)
+{
+  return engine_stack_top ()->subtitle;
+}
+
 void
 output_set_subtitle (const char *subtitle)
 {
diff --git a/src/output/driver.h b/src/output/driver.h
index ab162a6268..3e5cf193a4 100644
--- a/src/output/driver.h
+++ b/src/output/driver.h
@@ -36,7 +36,9 @@ void output_flush (void);
 
 void output_log (const char *, ...) PRINTF_FORMAT (1, 2);
 
+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 *);