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

Re: [PATCH v2] gitk: make pointer selection visible in highlighted lines

From
Max Kirillov <max@max630.net>
Date
Dec 3, 2013, 00:35 UTC
Message-ID
<20131203003434.GA18541@wheezy.local>
In-Reply-To
<1ld8zlh.1h4guajnkaralM%lists@haller-berlin.de>
On Mon, Dec 02, 2013 at 11:04:09AM +0100, Stefan Haller wrote:
> I don't think that not selecting the search hint is an
> option: the selection is used to keep track of where to
> search next.

To mark the next found position, should a 0-length selection be enough? I will try to experiment with it.

> Can't we just raise the currentsearchhit tag above the sel
> tag?

This also seems to help, as far as I understod currentsearchhit is always removed as interactive selection starts, so it should not hide manual selection.

-- 
Max
Previous: Stefan HallerNext: Max Kirillov
Message 7 of 8 in “gitk: make pointer selection visible in highlighted lines”
  1. gitk: make pointer selection visible in highlighted linesMax Kirillov, Nov 27, 2013
  2. Thomas RastNov 27, 2013
  3. Eric SunshineNov 27, 2013
  4. gitk: make pointer selection visible in highlighted linesMax Kirillov, Nov 28, 2013
  5. Paul MackerrasDec 1, 2013
  6. Stefan HallerDec 2, 2013
  7. Max KirillovDec 3, 2013
  8. [RFC] HACK: use anchor mark instead of sel tagMax Kirillov, Dec 11, 2013

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.