| Message ID | 85d669828bf9455ac101f8177a7f46a94d30a114.1599798976.git.liu.denton@gmail.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | gitk: fix mix of tabs and spaces in indentation | expand |
diff --git a/gitk b/gitk index 1dae9861ac..0380cd8976 100755 --- a/gitk +++ b/gitk @@ -4451,7 +4451,7 @@ proc addviewmenu {n} { .bar.view add radiobutton -label $viewname($n) \ -command [list showview $n] -variable selectedview -value $n #$viewhlmenu add radiobutton -label $viewname($n) \ - # -command [list addvhighlight $n] -variable selectedhlview + # -command [list addvhighlight $n] -variable selectedhlview } proc showview {n} {
In the previous commit, the tab indents were mechanically replaced with spaces. However, one tab, in particular, was missed. This tab was not considered an indentation because it's hidden behind a comment. Manually replace this tab with spaces too. The only tabs that remain in this file are in the "Gitk key bindings" table where they are used for visual alignment in a user-facing table so leave those alone. Signed-off-by: Denton Liu <liu.denton@gmail.com> --- gitk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)