ListModel: fix tooltip that doesn't disappear
authorNiki Roo <niki@nikiroo.be>
Fri, 1 May 2020 20:43:38 +0000 (22:43 +0200)
committerNiki Roo <niki@nikiroo.be>
Fri, 1 May 2020 20:43:38 +0000 (22:43 +0200)
commit143d16e3caae370e6108aeb77680d11308d10e08
treeae59abd3167a9212b0d77ac995e00e27ff97a8d0
parenta1d54d1127742f5cf7094d74dd51a8ce2b627dba
ListModel: fix tooltip that doesn't disappear
ui/ListModel.java