toggle menu
diamondcli
0.5.0
jvm
switch theme
search in API
diamondcli
/
org.veupathdb.lib.cli.diamond.opts
/
HiddenOptionContainer
/
minimizerWindow
minimizer
Window
@
DiamondHidden
abstract
var
minimizerWindow
:
Int
?
Flag:
--minimizer-window