contrib/hgk
changeset 5117 d4fa6bafc43a
parent 4969 b43db44cd047
child 5284 f8c36b215281
equal deleted inserted replaced
5116:2ffe3e2a1ac2 5117:d4fa6bafc43a
    30     # obtain the window the mouse is over
    30     # obtain the window the mouse is over
    31     set w [winfo containing $X $Y]
    31     set w [winfo containing $X $Y]
    32     # if we are outside the app, try and scroll the focus widget
    32     # if we are outside the app, try and scroll the focus widget
    33     if {![winfo exists $w]} { catch {set w [focus]} }
    33     if {![winfo exists $w]} { catch {set w [focus]} }
    34     if {[winfo exists $w]} {
    34     if {[winfo exists $w]} {
    35         
    35 
    36         if {[bind $w $evt] ne ""} {
    36         if {[bind $w $evt] ne ""} {
    37             # Awkward ... this widget has a MouseWheel binding, but to
    37             # Awkward ... this widget has a MouseWheel binding, but to
    38             # trigger successfully in it, we must give it focus.
    38             # trigger successfully in it, we must give it focus.
    39             catch {focus} old
    39             catch {focus} old
    40             if {$w ne $old} { focus $w }
    40             if {$w ne $old} { focus $w }
    68 }
    68 }
    69 
    69 
    70 bind all <MouseWheel> [list ::tk::MouseWheel %W %X %Y %D 0]
    70 bind all <MouseWheel> [list ::tk::MouseWheel %W %X %Y %D 0]
    71 
    71 
    72 # end of win32 section
    72 # end of win32 section
    73 } 
    73 }
    74 
    74 
    75 
    75 
    76 proc gitdir {} {
    76 proc gitdir {} {
    77     global env
    77     global env
    78     if {[info exists env(GIT_DIR)]} {
    78     if {[info exists env(GIT_DIR)]} {