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

Re: [EGIT PATCH] Refresh history when "Refresh" is clicked in the history viewer.

From
Robin Rosenberg <robin.rosenberg@dewire.com>
Date
Feb 24, 2008, 22:40 UTC
Message-ID
<200802242340.09606.robin.rosenberg@dewire.com>
In-Reply-To
<1203895097-3742-1-git-send-email-rogersoares@intelinet.com.br>
måndagen den 25 februari 2008 skrev Roger C. Soares:
> ---
>  .../src/org/spearce/egit/ui/GitHistoryPage.java    |    8 ++++++--
>  1 files changed, 6 insertions(+), 2 deletions(-)

Looks ok, but what is the effect of refresh, besides possibly working around other bugs? I would expect to to refresh with the selected resource as "filter", but it doesn't.

-- robin
Previous: Roger C. SoaresNext: Roger C. Soares
Message 2 of 4 in “Refresh history when "Refresh" is clicked in the history viewer.”
  1. Refresh history when "Refresh" is clicked in the history viewer.Roger C. Soares, Feb 24, 2008
  2. Robin RosenbergFeb 24, 2008
  3. Roger C. SoaresFeb 25, 2008
  4. Robin RosenbergFeb 25, 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.