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

Re: [PATCH v1 4/4] git gui: allow for a long recentrepo list

From
Philip Oakley <philipoakley@iee.org>
Date
Dec 14, 2015, 23:57 UTC
Message-ID
<71B00739215A4176BA65000AF1CBBBD4@PhilipOakley>
In-Reply-To
<CAPig+cSE41rHyq8hNcEL+qJaZrSwp0uc=Y6gPiRcj_T1EgQ4cg@mail.gmail.com>
From: "Eric Sunshine" <sunshine@sunshineco.com>
Show 10 quoted lines
> On Mon, Dec 14, 2015 at 10:09 AM, Philip Oakley <philipoakley@iee.org> 
> wrote:
>> The gui.recentrepo list may be longer than the maxrecent setting.
>> Allow extra space to show any extra entries.
>>
>> In an ideal world, the git gui would limit the number of entries
>> to the maxrecent setting, however the recentrepo config list may
>> have been extended outwith the gui, or the maxrecent setting changed
>
> s/outwith/without/

Ah, it's a Scottish english word, which better 'translates' as as outside, rather than being a commutation ;-)

I'll see if there are any other comments before a re-roll.
Show 27 quoted lines
>
>> to a reduced value. Further, when testing the gui's recentrepo
>> logic it is useful to show these extra, but valid, entries.
>>
>> Signed-off-by: Philip Oakley <philipoakley@iee.org>
>> ---
>> diff --git a/git-gui/lib/choose_repository.tcl 
>> b/git-gui/lib/choose_repository.tcl
>> index ad7a888..a08ed4f 100644
>> --- a/git-gui/lib/choose_repository.tcl
>> +++ b/git-gui/lib/choose_repository.tcl
>> @@ -153,7 +153,7 @@ constructor pick {} {
>>                         -background [get_bg_color $w_body.recentlabel] \
>>                         -wrap none \
>>                         -width 50 \
>> -                       -height $maxrecent
>> +                       -height [expr {$maxrecent + 5}]
>>                 $w_recentlist tag conf link \
>>                         -foreground blue \
>>                         -underline 1
>> --
>> 2.5.2.windows.2
> --
> To unsubscribe from this list: send the line "unsubscribe git" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html
> 
Previous: Eric Sunshine
Message 11 of 11 in “git gui: fail on dual entries in recent repo list”
  1. Philip OakleyDec 13, 2015
  2. 0/4 Fix git-gui when recentrepo list has duplicatesPhilip Oakley, Dec 14, 2015
  3. 1/4 git-gui: remove duplicate entries from .gitconfig's gui.recentrepoPhilip Oakley, Dec 14, 2015
  4. Eric SunshineDec 14, 2015
  5. Philip OakleyDec 16, 2015
  6. Eric SunshineDec 17, 2015
  7. 2/4 git gui: cope with duplicates in _get_recentrepoPhilip Oakley, Dec 14, 2015
  8. 3/4 git gui: de-dup selected repo from recentrepo historyPhilip Oakley, Dec 14, 2015
  9. 4/4 git gui: allow for a long recentrepo listPhilip Oakley, Dec 14, 2015
  10. Eric SunshineDec 14, 2015
  11. Philip OakleyDec 14, 2015

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.