devhelp prints headers when asked for a single parameter.

ChangeLog

@@ -1,3 +1,8 @@
+2011-08-14  Paolo Nenzi
+ * src/frontend/devices.c :
+   devhelp now prints header when user asks for a single
+   parameter.
+
 2011-08-13  Robert Larice
  * src/ciderlib/twod/twoprint.c :
    twoprint.c, swallow warnings

src/frontend/device.c

@@ -115,6 +115,11 @@ void devhelp(wordlist *wl)
             if (strcasecmp(plist[i].keyword, wlist->wl_word) == 0) {
                 found = TRUE;
                 out_init();
+                out_printf("Model Parameters\n");
+                if (csv)
+                    out_printf("id#, Name, Dir, Description\n");
+                    else
+                        out_printf("%5s\t %-10s\t Dir\t Description\n", "id#", "Name");
                 printdesc(plist[i], csv);
                 out_send("\n");
             }
@@ -126,6 +131,11 @@ void devhelp(wordlist *wl)
                 if (strcasecmp(plist[i].keyword, wlist->wl_word) == 0) {
                     found = TRUE;
                     out_init();
+                    out_printf("Instance Parameters\n");
+                    if (csv)
+                        out_printf("id#, Name, Dir, Description\n");
+                        else
+                           out_printf("%5s\t %-10s\t Dir\t Description\n", "id#", "Name");
                     printdesc(plist[i], csv);
                     out_send("\n");
                 }