Remkonoteboom/4.2 ui

A number of minor UI changes ... the biggest one is the change of the "refresh" button to a more explicit "search" button.