git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] gitk: map / to focus the search box

From
Paul Mackerras <paulus@samba.org>
Date
Dec 1, 2008, 22:33 UTC
Message-ID
<18740.26151.55900.953153@cargo.ozlabs.ibm.com>
In-Reply-To
<1227459690-9896-1-git-send-email-giuseppe.bilotta@gmail.com>
Giuseppe Bilotta writes:
> The / key is often used to initiate searches (less, vim, some web
> browsers). We change the binding for the / (slash) key from 'find next'
> to 'focus the search box' to follow this convention.

I think that's reasonable, but the patch needs to update the key bindings help text as well.

Thanks, Paul.

Previous: Giuseppe BilottaNext: Giuseppe Bilotta
Message 2 of 3 in “gitk: map / to focus the search box”
  1. gitk: map / to focus the search boxGiuseppe Bilotta, Nov 23, 2008
  2. Paul MackerrasDec 1, 2008
  3. gitk: map / to focus the search boxGiuseppe Bilotta, Dec 2, 2008

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.