mirror of
https://github.com/git/git
synced 2024-08-27 11:39:22 +00:00
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
This commit is contained in:
commit
67cdec1e58
|
@ -193,9 +193,7 @@ proc do_options {} {
|
|||
${f}_config_new(gui.spellingdictionary) \
|
||||
$all_dicts
|
||||
pack $w.$f.$optid.l -side left -anchor w -fill x
|
||||
pack $w.$f.$optid.v -side left -anchor w \
|
||||
-fill x -expand 1 \
|
||||
-padx 5
|
||||
pack $w.$f.$optid.v -side right -anchor e -padx 5
|
||||
pack $w.$f.$optid -side top -anchor w -fill x
|
||||
}
|
||||
unset all_dicts
|
||||
|
|
|
@ -308,7 +308,7 @@ method _read {} {
|
|||
# try to round out the word.
|
||||
#
|
||||
while {$curr ne $orig
|
||||
&& [string equal -length [llength $curr] $curr $orig]} {
|
||||
&& [string equal -length [string length $curr] $curr $orig]} {
|
||||
set n_loc [$w_text index "$e_loc +1c"]
|
||||
set n_curr [$w_text get $b_loc $n_loc]
|
||||
if {$n_curr eq $curr} {
|
||||
|
|
Loading…
Reference in a new issue