From ed23c7e315573e8ae1d000498cff62a6d4257378 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Fri, 10 Jan 2014 21:48:52 +0100
Subject: [PATCH] set X11 window title from `graph->plotname'

in response to a bug report by Dominique Michel
  "#272 no title in plots"
  http://sourceforge.net/p/ngspice/bugs/272/
---
 src/frontend/plotting/x11.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/frontend/plotting/x11.c b/src/frontend/plotting/x11.c
index 57fa30fb7..4a02600cf 100644
--- a/src/frontend/plotting/x11.c
+++ b/src/frontend/plotting/x11.c
@@ -388,6 +388,8 @@ X11_NewViewport(GRAPH *graph)
     DEVDEP(graph).shell = XtCreateApplicationShell
         ("shell", topLevelShellWidgetClass, NULL, 0);
 
+    XtVaSetValues(DEVDEP(graph).shell, XtNtitle, graph->plotname, NULL);
+
     /* set up form widget */
     DEVDEP(graph).form = XtCreateManagedWidget
         ("form", formWidgetClass, DEVDEP(graph).shell, formargs, XtNumber(formargs));