It looks like "theme_none_option" returns nothing. Actually it is returning '<none>' so the browser discards it from the display. It needs to be changed to '&lt;none&gt;'

Comments

nancydru’s picture

Assigned: Unassigned » nancydru
Status: Active » Fixed

Fix committed.

nancydru’s picture

Nope, this was a testing error, the change has been removed.

Anonymous’s picture

Status: Fixed » Closed (fixed)

Automatically closed -- issue fixed for two weeks with no activity.