Commits

Anonymous committed 0960f7d

git-gui: Stop deleting gitk preferences.

Now that git 1.5.0 and later contains a version of gitk that uses
correct geometry on Windows platforms, even if ~/.gitk exists, we
should not delete the user's ~/.gitk to work around the bug. It
is downright mean to remove a user's preferences for another app.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>

  • Participants
  • Parent commits d585e78

Comments (0)

Files changed (1)

 proc do_gitk {revs} {
 	global env ui_status_value starting_gitk_msg
 
-	# -- On Windows gitk is severly broken, and right now it seems like
-	#    nobody cares about fixing it.  The only known workaround is to
-	#    always delete ~/.gitk before starting the program.
-	#
-	if {[is_Windows]} {
-		catch {file delete [file join $env(HOME) .gitk]}
-	}
-
 	# -- Always start gitk through whatever we were loaded with.  This
 	#    lets us bypass using shell process on Windows systems.
 	#