[Fixed] Back button broken in Android 4.2 (CM)?

[Persona User]

When playing a game, it takes me several presses of the Android back button (the button to the left of the center home key) to switch to PPSSPP's configuration/settings dialog. The number of presses appears to be random. Sometimes it takes just a single press, sometimes more than twenty presses to switch to the settings dialog.

This problem appears from version v0.8.1-430-g0019666 up to at least v0.8.1-480-gd68c805. It doesn't appear earlier than v0.8.1-233-gfbe8a19.

A cursroy check of the logcat immediately after pressing the back button shows the following differecne between version v0.8.1-480-gd68c805 and v0.8.1-233-gfbe8a19.

Code:

D/JAMIE   (12532): KeyEvent: KeyEvent { action=ACTION_UP, keyCode=KEYCODE_BACK, scanCode=0, metaState=0, flags=0x48, repeatCount=0, eventTime=71585515, downTime=71585418, deviceId=-1, source=0x101 }

The above message appears in v0.8.1-233-gfbe8a19 (but NOT in v0.8.1-480-gd68c805). Is this a bug or simply a new configuration option that I have failed to activate?