Anyone have a macro or know of a plugin that handles more Text Case options than just UPPERCASE or lowercase? Specifically, I'm looking for "Proper Case" or "Capitalized", where every first letter in a selection is capitalized.

Here's a spiffy javascript function that does it. Anyone have a jEdit equivalent?

function toTitleJscript(str) {
return str.replace(/(s[a-z])/g,function (match) { return
match.toUpperCase() });

Thanks in advance