JAL-4193 JAL-4194 sessionProperties layer in Cache, CLI arg Opts to deal with -Pkey...
authorBen Soares <b.soares@dundee.ac.uk>
Thu, 1 Jun 2023 14:07:18 +0000 (15:07 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 1 Jun 2023 14:07:18 +0000 (15:07 +0100)
commit65ed1da9a1710a9ce132c7edfce54955dc1ddf99
treeb67ca81315eed8017a0e8d20509ca6fd1f1371c2
parentb9293410486a5a6f9bc505e66b04b912a559cdd5
JAL-4193 JAL-4194 sessionProperties layer in Cache, CLI arg Opts to deal with -Pkey=val and set sessionProperties. Documentation for it.
help/help/html/features/clarguments-reference.html
src/jalview/bin/Cache.java
src/jalview/bin/Jalview.java
src/jalview/bin/argparser/Arg.java
src/jalview/bin/argparser/ArgParser.java
src/jalview/bin/argparser/BootstrapArgs.java
src/jalview/gui/Preferences.java
test/jalview/bin/CommandLineOperationsNG.java