* Add new theme elements: window.active.title.separator.color and
window.inactive.title.separator.color (note that globbing might set these
properties when you didnt mean to)
* Add new underMouse focus option
* Rename new theme element menu.items.activedisabled to
menu.items.active.disabled for consistency with other elements
* Add new theme elements: window.active.title.separator.color and
window.inactive.title.separator.color (note that globbing might set these
properties when you didnt mean to)
* Add new underMouse focus option
* Rename new theme element menu.items.activedisabled to
menu.items.active.disabled for consistency with other elements