diff mp_global.h @ 34269:99fceaf417ad

Change extended key handling so we will never call mplayer_put_key twice for a single key. Should fix bugzilla #2018.
author reimar
date Tue, 22 Nov 2011 20:24:24 +0000
parents 850a3272e10d
children
line wrap: on
line diff