Closed eseiler closed 2 years ago
The only thing why we did not do that yet, is that the add_option call has already a lot of parameters, so the easy fix of adding another one seems not the best approach.
Duplicate of external user request: seqan/sharg-parser#76
closed because of duplicate
Will set
The window size. Default: 20
as help page message. It would be nice to overwrite the default-part and say something likeDefault: k-mer size
.It's currently hardcoded: https://github.com/seqan/seqan3/blob/34f3a7f672b6228d5ae1036d2ff590b244cb098e/include/seqan3/argument_parser/detail/format_base.hpp#L240