Greatly increase default dot size

Smaller dots look good on the screen, but not so good when printed

Author: rmunn

src/extractpoints.py

@@ -705,7 +705,7 @@ def parse_args():
     parser.add_argument('-l', '--show-lines', action = "store_true", help = "Show the midlines of the glyph")
     parser.add_argument('-d', '--show-dots', action = "store_true", help = "Show the dots that make the dotted version")
     parser.add_argument('-g', '--show-glyph', action = "store_true", help = "Show the glyph outline")
-    parser.add_argument('-r', '--radius', action = "store", type = float, default = 5, help = "Radius of dots, in em units (default 5)")
+    parser.add_argument('-r', '--radius', action = "store", type = float, default = 15, help = "Radius of dots, in em units (default 15)")
     parser.add_argument('-s', '--spacing', action = "store", type = float, default = 3.0, help = "Spacing of dots, as a multiple of dot radius (default 3.0 for 300%%)")
     args = parser.parse_args()
     if not (args.show_triangles or args.show_lines or args.show_dots):