From: gmungoc Date: Tue, 16 Apr 2019 11:48:31 +0000 (+0100) Subject: Merge branch 'bug/JAL-3218scalePanelPopups' into develop X-Git-Tag: Release_2_11_0~17^2~17 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=1497b61431f9ef98f8d2f18c6d2347d28477af08;p=jalview.git Merge branch 'bug/JAL-3218scalePanelPopups' into develop --- 1497b61431f9ef98f8d2f18c6d2347d28477af08