Dave Jarvis' Repositories

git clone https://repo.autonoma.ca/repo/keenwrite.git

Add option for setting font directory, provide a default

AuthorDaveJarvis <email>
Date2023-01-16 09:18:39 GMT-0800
Commitc16aa6945a391db59f2a69c99a022397e5cfdf5f
Parent3e3c201
src/main/java/com/keenwrite/cmdline/Arguments.java
private boolean mDebug;
-
@CommandLine.Option(
names = {"-i", "--input"},
description =
"Source document file path",
paramLabel = "PATH",
defaultValue = "stdin",
required = true
)
private Path mSourcePath;
+
+ @CommandLine.Option(
+ names = {"--font-dir"},
+ description =
+ "Directory to specify additional fonts",
+ paramLabel = "String"
+ )
+ private File mFontDir;
@CommandLine.Option(
names = {"--format-subtype"},
description =
"Export TeX subtype for HTML formats: svg, delimited",
- defaultValue = "svg",
- paramLabel = "String"
+ paramLabel = "String",
+ defaultValue = "svg"
)
private String mFormatSubtype;
.with( Mutator::setImageServer, () -> mImageServer )
.with( Mutator::setImageOrder, () -> mImageOrder )
+ .with( Mutator::setFontsPath, () -> mFontDir )
.with( Mutator::setExportFormat, format )
.with( Mutator::setDefinitions, () -> definitions )
Delta11 lines added, 3 lines removed, 8-line increase