Work around duplicate button-press-events and gtk-auto-mnemonics.
authorterminatorX <>
Sun, 30 Jan 2011 19:39:47 +0000 (19:39 +0000)
committerterminatorX <>
Sun, 30 Jan 2011 19:39:47 +0000 (19:39 +0000)
commitd38c41f94aba6edec6854aaf8830d7946cbacfb8
treecf840e9a7f463983574b650a8068a9b8d1060f74
parent5eb4840e4694da00002ba6d259edc260ef2a2d25
Work around duplicate button-press-events and gtk-auto-mnemonics.
src/tX_engine.cc
src/tX_mastergui.cc
src/tX_mouse.cc
src/tX_mouse.h
src/tX_seqpar.cc
src/tX_vttgui.cc