mirror of
https://github.com/git/git.git
synced 2026-02-25 09:31:11 +00:00
Merge branch 'master' of https://github.com/j6t/gitk
* 'master' of https://github.com/j6t/gitk: gitk: fix msgfmt being required gitk: fix highlighted remote prefix of branches with directories
This commit is contained in:
@@ -6841,7 +6841,7 @@ proc drawtags {id x xt y1} {
|
||||
set xl [expr {$xl - $delta/2}]
|
||||
$canv create polygon $x $yt $xr $yt $xr $yb $x $yb \
|
||||
-width 1 -outline black -fill $col -tags tag.$id
|
||||
if {[regexp {^(remotes/.*/|remotes/)} $tag match remoteprefix]} {
|
||||
if {[regexp {^(remotes/[^/]*/|remotes/)} $tag match remoteprefix]} {
|
||||
set rwid [font measure mainfont $remoteprefix]
|
||||
set xi [expr {$x + 1}]
|
||||
set yti [expr {$yt + 1}]
|
||||
|
||||
@@ -25,6 +25,6 @@ custom_target(
|
||||
install_dir: get_option('bindir'),
|
||||
)
|
||||
|
||||
if find_program('msgfmt').found()
|
||||
if find_program('msgfmt', required: false).found()
|
||||
subdir('po')
|
||||
endif
|
||||
|
||||
Reference in New Issue
Block a user