JAL-2511 invalidate scale panel holder on font change to update layout
[jalview.git] / help / html / features / searchhist.png
help/html/features/searchhist.png