From 5284bba388abe30f6ab4e1ebaaa6ff5201fd92cf Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 17 Jun 2001 21:07:56 +0000
Subject: [PATCH] *** empty log message ***

---
 Common/GetOptions.cpp | 5 ++++-
 Graphics/gl2ps.cpp    | 6 +++---
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/Common/GetOptions.cpp b/Common/GetOptions.cpp
index 41f5346968..a753849098 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 c81323d836..9bff9013ce 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");
-- 
GitLab