Merge git://repo.or.cz/git-gui

* git://repo.or.cz/git-gui:
  git-gui: Correct size of dictionary name widget in options dialog
  git-gui: Paper bag fix bad string length call in spellchecker

diff --cc git-gui/lib/option.tcl
Simple merge

diff --cc git-gui/lib/spellcheck.tcl
Simple merge