What do you think about changing package name to "User interface", like some other modules that brings some UX goodness to Drupal?
And the according patch.
This patch is part of the #1day1patch initiative.
Sounds good to me.
Committed #1 to 7.x-1.x. Thanks!http://drupalcode.org/project/options_element.git/commit/bd04d7f
Automatically closed -- issue fixed for 2 weeks with no activity.
Drupal is a registered trademark of Dries Buytaert.