From: Mungo Carstairs Date: Thu, 30 Apr 2015 20:12:42 +0000 (+0100) Subject: JAL-845 reduced height to allow for Desktop decorators on Windows X-Git-Tag: Jalview_2_9~39 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=24759045defbd5bb87bb699c6ba363f171464d7f;hp=24759045defbd5bb87bb699c6ba363f171464d7f;p=jalview.git JAL-845 reduced height to allow for Desktop decorators on Windows ---