##// END OF EJS Templates
Merge pull request #8044 from minrk/shortcut-scroll...
Merge pull request #8044 from minrk/shortcut-scroll scroll quickhelp dialog if large
Matthias Bussonnier -
r20705:dcbabca7 merge
Show More