added updateLineDash implementation

[swftools.git] / lib / pdf / pdf.cc

diff --git a/lib/pdf/pdf.cc b/lib/pdf/pdf.cc
index f651e58..2579978 100644 (file)
--- a/lib/pdf/pdf.cc
+++ b/lib/pdf/pdf.cc
@@ -361,10 +361,14 @@ static void pdf_set_parameter(gfxsource_t*src, const char*name, const char*value
         multiply = atoi(value);
     } else if(!strcmp(name, "help")) {
        printf("\nPDF device global parameters:\n");
-       printf("fontdir=<dir>   a directory with additional fonts\n");
-       printf("font=<filename> an dditional font filename\n");
-       printf("pages=<range>   the range of pages to convert (example: pages=1-100,210-)\n");
-       printf("zoom=<dpi>      the resultion (default: 72)\n");
+       printf("fontdir=<dir>     a directory with additional fonts\n");
+       printf("font=<filename>   an additional font filename\n");
+       printf("pages=<range>     the range of pages to convert (example: pages=1-100,210-)\n");
+       printf("zoom=<dpi>        the resultion (default: 72)\n");
+       printf("languagedir=<dir> Add an xpdf language directory\n");
+       printf("multiply=<times>  Render everything at <times> the resolution\n");
+       printf("poly2bitmap       Convert graphics to bitmaps\n");
+       printf("bitmap            Convert everything to bitmaps\n");
     }  
     storeDeviceParameter(name,value);
 }
@@ -484,10 +488,13 @@ void pdf_destroy(gfxsource_t*src)
     parameter_t*p = device_config;
     while(p) {
        parameter_t*next = p->next;
-       p->next = 0;free(p);
+       if(p->name) free(p->name);p->name = 0;
+       if(p->value) free(p->value);p->value =0;
+       p->next = 0;delete p;
        p = next;
     }
     delete globalParams;globalParams = 0;
+    free(src);
 }
 
 gfxsource_t*gfxsource_pdf_create()