if we're highlighting something in the defs window, make sure the window is shown   closes PR 11977
if we're highlighting something in the defs window, make sure the window is shown
  closes PR 11977

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket