···
global otherrefids idotherrefs mainhead mainheadid
global selecthead selectheadid
1906
+
global hidecustomrefs
foreach v {tagids idtags headids idheads otherrefids idotherrefs} {
···
lappend idtags($id) $name
1943
+
if {$hidecustomrefs} {
1944
+
if {![string match "stash" $ref] ||
1945
+
![string match "replace/*" $ref]} continue
set otherrefids($name) $id
lappend idotherrefs($id) $name
···
global NS maxwidth maxgraphpct showneartags showlocalchanges
global tabstop wrapcomment wrapdefault limitdiffs
global autocopy autoselect autosellen extdifftool perfile_attrs
11699
-
global hideremotes want_ttk have_ttk maxrefs web_browser
11704
+
global hideremotes hidecustomrefs want_ttk have_ttk maxrefs web_browser
set page [create_prefs_page $notebook.general]
···
${NS}::checkbutton $page.hideremotes -text [mc "Hide remote refs"] \
grid x $page.hideremotes -sticky w
11724
+
${NS}::checkbutton $page.hidecustomrefs -text [mc "Hide custom refs"] \
11725
+
-variable hidecustomrefs
11726
+
grid x $page.hidecustomrefs -sticky w
${NS}::checkbutton $page.autocopy -text [mc "Copy commit ID to clipboard"] \
···
global oldprefs prefstop showneartags showlocalchanges
global uicolor bgcolor fgcolor ctext diffcolors selectbgcolor markbgcolor
global tabstop limitdiffs autoselect autosellen extdifftool perfile_attrs
11866
-
global hideremotes want_ttk have_ttk wrapcomment wrapdefault
11874
+
global hideremotes hidecustomrefs want_ttk have_ttk wrapcomment wrapdefault
···
foreach v {maxwidth maxgraphpct showneartags showlocalchanges \
11875
-
limitdiffs tabstop perfile_attrs hideremotes want_ttk wrapcomment wrapdefault} {
11883
+
limitdiffs tabstop perfile_attrs hideremotes hidecustomrefs \
11884
+
want_ttk wrapcomment wrapdefault} {
set oldprefs($v) [set $v]
···
foreach v {maxwidth maxgraphpct showneartags showlocalchanges \
12001
-
limitdiffs tabstop perfile_attrs hideremotes want_ttk wrapcomment wrapdefault} {
12010
+
limitdiffs tabstop perfile_attrs hideremotes hidecustomrefs \
12011
+
want_ttk wrapcomment wrapdefault} {
···
global oldprefs prefstop showneartags showlocalchanges
global fontpref mainfont textfont uifont
global limitdiffs treediffs perfile_attrs
12015
-
global hideremotes wrapcomment wrapdefault
12025
+
global hideremotes hidecustomrefs wrapcomment wrapdefault
catch {destroy $prefstop}
···
$limitdiffs != $oldprefs(limitdiffs)} {
12062
-
if {$hideremotes != $oldprefs(hideremotes)} {
12072
+
if {$hideremotes != $oldprefs(hideremotes) || $hidecustomrefs != $oldprefs(hidecustomrefs)} {
if {$wrapcomment != $oldprefs(wrapcomment)} {
···
12552
+
set hidecustomrefs 0
set visiblerefs {"master"}
···
mainfont textfont uifont tabstop findmergefiles maxgraphpct maxwidth
cmitmode wrapcomment wrapdefault autocopy autoselect autosellen
showneartags maxrefs visiblerefs
12648
-
hideremotes showlocalchanges datetimeformat limitdiffs uicolor want_ttk
12659
+
hideremotes hidecustomrefs showlocalchanges datetimeformat limitdiffs uicolor want_ttk
bgcolor fgcolor uifgcolor uifgdisabledcolor colors diffcolors mergecolors
markbgcolor diffcontext selectbgcolor foundbgcolor currentsearchhitbgcolor
extdifftool perfile_attrs headbgcolor headfgcolor headoutlinecolor