Uniform icon image size

[paperdoorknob] / args.py

diff --git a/args.py b/args.py
index 62b9404e93479dfdf0f456c88e144bf5edc83d14..e952c45040c77f503e7ec8cd2990540b87f3dbd0 100644 (file)
--- a/args.py
+++ b/args.py
@@ -44,6 +44,10 @@ See https://faculty.bard.edu/bloch/geometry.pdf for details
         '--htmlfilters',
         help='Which HTML filters to use (default: %(default)s)',
         default=','.join(f[0] for f in HTMLFilters))
+    parser.add_argument(
+        '--image_size',
+        help='How large the icon images are, in mm',
+        default=20)
     parser.add_argument(
         '--out',
         help='The filename stem at which to write output ' +
@@ -72,6 +76,6 @@ def spec_from_commandline_args() -> Iterator[Spec]:
                 DiskImageStore(args.out + '_images', fetcher),
                 lambda x: ApplyHTMLFilters(args.htmlfilters, x),
                 lambda x: ApplyDOMFilters(args.domfilters, x),
-                BelowIconLayout(texifier),
+                BelowIconLayout(texifier, args.image_size),
                 args.geometry,
                 texout)