[dev] ticket# search in menu bar

Hi, It would be handy to have in a corner in the menu back a field to type in a ticket #, to jump quickly to it. Has anyone made such a feature/customization? gr, Frans