From: gmungoc Date: Thu, 18 Jun 2020 14:43:51 +0000 (+0100) Subject: JAL-3648 resize annotation panel after dragging to resize graph height X-Git-Tag: Release_2_11_1_1~8 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e0556caa4fb141cfce47d03a0750fd5364582ce7;hp=e0556caa4fb141cfce47d03a0750fd5364582ce7;p=jalview.git JAL-3648 resize annotation panel after dragging to resize graph height ---