> I've just committed the first version of a tiny quick finder. > > I want to hear some feedback about it - and maybe ideas on how it should > look like & other improvements. Overall I like it - although, can we draw a border on the top as well? (Otherwise it visually merges into my tabs at the top.)