From: Paul Mackerras <paulus@samba.org>
Date: Sat, 27 Oct 2007 11:23:20 +0000 (+1000)
Subject: Merge branch 'dev'
X-Git-Url: https://privyetmir.co.uk/gitweb.cgi?a=commitdiff_plain;h=7b3b1515288352149f3ed3b975b650a7f81046ed;p=gitk

Merge branch 'dev'
---

7b3b1515288352149f3ed3b975b650a7f81046ed
diff --cc gitk
index ff5eb5e,5230e3b..4efcbb7
--- a/gitk
+++ b/gitk
@@@ -7572,7 -8090,8 +8097,8 @@@ proc prefscan {} 
  proc prefsok {} {
      global maxwidth maxgraphpct
      global oldprefs prefstop showneartags showlocalchanges
-     global charspc ctext tabstop limitdiffs treediffs
+     global fontpref mainfont textfont uifont
 -    global limitdiffs
++    global limitdiffs treediffs
  
      catch {destroy $prefstop}
      unset prefstop
@@@ -7584,11 -8124,7 +8131,11 @@@
  	    dohidelocalchanges
  	}
      }
 +    if {$limitdiffs != $oldprefs(limitdiffs)} {
 +	# treediffs elements are limited by path
 +	catch {unset treediffs}
 +    }
-     if {$maxwidth != $oldprefs(maxwidth)
+     if {$fontchanged || $maxwidth != $oldprefs(maxwidth)
  	|| $maxgraphpct != $oldprefs(maxgraphpct)} {
  	redisplay
      } elseif {$showneartags != $oldprefs(showneartags) ||