git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 518409a) | patch
JAL-1625 JAL-1900 preserve the original DesktopManager instance provided by platform...
authorJim Procter <jprocter@issues.jalview.org>
Fri, 15 Sep 2017 14:43:46 +0000 (15:43 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Fri, 15 Sep 2017 14:43:46 +0000 (15:43 +0100)
commit379357f76f6c8f973c145ed94a69225f358f4d0c
treecac5056794f91caf737ebb9b9998fc71a2a8e76atree | snapshot
parent518409a5902589799950885ac00c8ce685969414commit | diff
JAL-1625 JAL-1900 preserve the original DesktopManager instance provided by platform rather than create our own, so iconify works correctly (should mean we also get iconify working in Linux too)
src/jalview/gui/Desktop.java diff | blob | history