Merge git://repo.or.cz/git-gui
* git://repo.or.cz/git-gui: git-gui: correct spelling errors in comments git-gui: add menu item to launch a bash shell on Windows. git-gui: corrected setup of git worktree under cygwin. git-gui: right half window is paned git-gui: Add gui.displayuntracked option git-gui: show the maxrecentrepo config option in the preferences dialog git-gui: added gui.maxrecentrepo to extend the number of remembered repos git-gui: Improve font rendering on retina macbooks
This commit is contained in:
@ -14,7 +14,7 @@ field w_menu ; # context menu for the widget
|
||||
field s_menuidx 0 ; # last index of insertion into $w_menu
|
||||
|
||||
field s_i {} ; # timer registration for _run callbacks
|
||||
field s_clear 0 ; # did we erase mispelled tags yet?
|
||||
field s_clear 0 ; # did we erase misspelled tags yet?
|
||||
field s_seen [list] ; # lines last seen from $w_text in _run
|
||||
field s_checked [list] ; # lines already checked
|
||||
field s_pending [list] ; # [$line $data] sent to ispell/aspell
|
||||
@ -259,7 +259,7 @@ method _run {} {
|
||||
if {$n == $cur_line
|
||||
&& ![regexp {^\W$} [$w_text get $cur_pos insert]]} {
|
||||
|
||||
# If the current word is mispelled remove the tag
|
||||
# If the current word is misspelled remove the tag
|
||||
# but force a spellcheck later.
|
||||
#
|
||||
set tags [$w_text tag names $cur_pos]
|
||||
|
||||
Reference in New Issue
Block a user