Code

gitk: Map / to focus the search box