Can't change Logging Preferences on Developer Console on 4.1 daily build

Hi,

I'm current using a nighly build of SmartGwt 4.1

Here's the version from the developer console.
SmartClient Version: SNAPSHOT_v9.1d_2014-01-13/LGPL Development Only (built 2014-01-13)

I've noticed an issue in the developer console. The Logging Preferences drop down list doesn't seem to work, so I can't change levels.

Is this a problem just on this build, or is it a known issue?

thanks.