Suppress duplicated key event handling in Linux/GTK3 #4199 - #4200

Suppress duplicated key event handling in Linux/GTK3 #4199#4200

fedejeanne wants to merge 1 commit into

eclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

fedejeanne:fix-linux-gtk-double-traversalfedejeanne/eclipse.platform.ui:fix-linux-gtk-double-traversalCopy head branch name to clipboard