From: Florian Forster <ff@octo.it>
Date: Tue, 6 Jul 2010 14:37:23 +0000 (+0200)
Subject: src/utils_cgi.c: Change shortcut name to "C₄" (from "c⁴").
X-Git-Tag: v4.0.0~142
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=106898de4312399d7d7c28fbbd70537b1979a66f;p=collection4.git

src/utils_cgi.c: Change shortcut name to "C₄" (from "c⁴").
---

diff --git a/src/action_list_graphs.c b/src/action_list_graphs.c
index 42bab5d..684321c 100644
--- a/src/action_list_graphs.c
+++ b/src/action_list_graphs.c
@@ -239,9 +239,10 @@ static int list_graphs_html (const char *term) /* {{{ */
   char title[512];
 
   if (term != NULL)
-    snprintf (title, sizeof (title), "c4: Graphs matching \"%s\"", term);
+    snprintf (title, sizeof (title), "Graphs matching \"%s\"",
+        term);
   else
-    strncpy (title, "c4: List of all graphs", sizeof (title));
+    strncpy (title, "List of all graphs", sizeof (title));
   title[sizeof (title) - 1] = 0;
 
   memset (&pg_data, 0, sizeof (pg_data));
diff --git a/src/utils_cgi.c b/src/utils_cgi.c
index 3fe7e18..fbabda6 100644
--- a/src/utils_cgi.c
+++ b/src/utils_cgi.c
@@ -579,7 +579,7 @@ int html_print_page (const char *title, /* {{{ */
       "\n\n");
 
   if (title == NULL)
-    title = "c4: collection4 graph interface";
+    title = "C&#x2084;: collection4 graph interface";
 
   title_html = html_escape (title);
 
@@ -654,7 +654,7 @@ int html_print_page (const char *title, /* {{{ */
 int html_print_logo (__attribute__((unused)) void *user_data) /* {{{ */
 {
   printf ("<a href=\"%s?action=list_graphs\" id=\"logo-canvas\">\n"
-      "  <h1>c<sup>4</sup></h1>\n"
+      "  <h1>C<sub>4</sub></h1>\n"
       "  <div id=\"logo-subscript\">collection&nbsp;4</div>\n"
       "</a>\n");