JAL-1858 refactored method to redraw previous/new highlighted positions
[jalview.git] / resources / lang /
drwxr-xr-x   ..
-rw-r--r-- 80966 Messages.properties
-rw-r--r-- 89880 Messages_es.properties