git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26f79fa) | patch
JAL-3762 check if Info.args already defined before overwriting it with URL args....
authorJim Procter <jprocter@issues.jalview.org>
Fri, 2 Oct 2020 08:21:34 +0000 (09:21 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Fri, 2 Oct 2020 08:21:34 +0000 (09:21 +0100)
commitc2ab85e25d124ad2dc0a6961cd2c5325c27bfa75
treef9a070537d78fa16d0fa4b0ca9b06df042bd6e6dtree | snapshot
parent26f79fac447ccf6235bbf52992455f0a2bc6cbcdcommit | diff
JAL-3762 check if Info.args already defined before overwriting it with URL args. Also stashes URL args at Info.urlargs
src/jalview/util/Platform.java diff | blob | history