null pointer when double click event occurs without an existing selection (happens...
authorjprocter <Jim Procter>
Wed, 28 Apr 2010 10:18:56 +0000 (10:18 +0000)
committerjprocter <Jim Procter>
Wed, 28 Apr 2010 10:18:56 +0000 (10:18 +0000)
commit651a9440a02b8237ad12387bb652711cc8ba34e3
treee97238334fa57a4015a6bb9b50f726858cbed134
parent14ff1fd59357c8967a6f6d673e48ff0516bce5d6
null pointer when double click event occurs without an existing selection (happens when tooltip position has been locked using shift key, and then user double clicks).
src/jalview/gui/SeqPanel.java