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

Re: [PATCH 2/4] git-gui: add smart case search mode in searchbar

From
Andrew Ardill <andrew.ardill@gmail.com>
Date
Oct 18, 2011, 03:33 UTC
Message-ID
<CAH5451n6pj9ybHSo=OLAw0wMLwqT_bCB76L8Jw3Cz6MP99y59A@mail.gmail.com>
In-Reply-To
<87ipnngpsj.fsf@fox.patthoyts.tk>

I agree that clearing the field to reset case sensitivity is a nice compromise between easily turning smartcase off (by typing a capital) and easily turning it on again if you accidentally turned it off, or decided you don't want it on.

In most cases you would think an accidental capital would be the first letter typed anyhow.

Regards,
Andrew Ardill
Previous: Pat ThoytsNext: Pat Thoyts
Message 8 of 11 in “git-gui: handle config booleans without value”
  1. 1/4 git-gui: handle config booleans without valueBert Wesarg, Oct 14, 2011
  2. 2/4 git-gui: add smart case search mode in searchbarBert Wesarg, Oct 14, 2011
  3. 3/4 git-gui: add regexp search mode to the searchbarBert Wesarg, Oct 14, 2011
  4. 4/4 git-gui: add search history to searchbarBert Wesarg, Oct 14, 2011
  5. Andrew ArdillOct 16, 2011
  6. Bert WesargOct 17, 2011
  7. Pat ThoytsOct 17, 2011
  8. Andrew ArdillOct 18, 2011
  9. Pat ThoytsOct 17, 2011
  10. Bert WesargOct 18, 2011
  11. Pat ThoytsOct 18, 2011

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.