diff --git a/Common/GetOptions.cpp b/Common/GetOptions.cpp
index 41f53469683b4942af3e52ed3b4a333220746410..a75384909891b4a145c98eaa223463d8752a3277 100644
--- a/Common/GetOptions.cpp
+++ b/Common/GetOptions.cpp
@@ -1,4 +1,4 @@
-// $Id: GetOptions.cpp,v 1.24 2001-05-25 11:03:38 geuzaine Exp $
+// $Id: GetOptions.cpp,v 1.25 2001-06-17 21:07:56 geuzaine Exp $
 
 #include "Gmsh.h"
 #include "GmshUI.h"
@@ -349,6 +349,9 @@ void Get_Options (int argc, char *argv[], int *nbfiles) {
       else if(!strcmp(argv[i]+1, "noview")){ 
         opt_view_visible(0, GMSH_SET, 0); i++;
       }
+      else if(!strcmp(argv[i]+1, "plug")){ 
+	opt_general_default_plugins(0, GMSH_SET, 1); i++;
+      }
       else if(!strcmp(argv[i]+1, "link")){ 
         CTX.post.link = 2 ; i++;
       }
diff --git a/Graphics/gl2ps.cpp b/Graphics/gl2ps.cpp
index c81323d83699e897ede5e3e70b5ec9764e3e422d..9bff9013ce8609f27fd43e9172b75e11f1db345e 100644
--- a/Graphics/gl2ps.cpp
+++ b/Graphics/gl2ps.cpp
@@ -2,7 +2,7 @@
  * GL2PS, an OpenGL to Postscript Printing Library
  * Copyright (C) 1999-2001  Christophe Geuzaine 
  *
- * $Id: gl2ps.cpp,v 1.21 2001-06-12 10:50:11 geuzaine Exp $
+ * $Id: gl2ps.cpp,v 1.22 2001-06-17 21:07:56 geuzaine Exp $
  *
  * E-mail: Christophe.Geuzaine@AdValvas.be
  * URL: http://www.geuz.org/gl2ps/
@@ -1185,14 +1185,14 @@ GLvoid gl2psPrintPostscriptPrimitive(GLvoid *a, GLvoid *b){
 	      prim->verts[1].rgba[2], prim->verts[0].xyz[0],
 	      prim->verts[0].xyz[1], prim->verts[0].rgba[0],
 	      prim->verts[0].rgba[1], prim->verts[0].rgba[2],
-	      0.35*prim->width);
+	      0.3*prim->width);
     }
     else{
       fprintf(gl2ps.stream, "%g %g %g %g %g %g %g %g L\n",
 	      prim->verts[1].xyz[0], prim->verts[1].xyz[1],
 	      prim->verts[0].xyz[0], prim->verts[0].xyz[1],
 	      prim->verts[0].rgba[0], prim->verts[0].rgba[1], 
-	      prim->verts[0].rgba[2], 0.35*prim->width);
+	      prim->verts[0].rgba[2], 0.3*prim->width);
     }
     if(prim->dash)
       fprintf(gl2ps.stream, "[] 0 setdash\n");