I think this would be worth a plugin. This function could select the text
of a DOM element:
function selectText( node) {
if ( document.selection ) {
var range = document.body.createTextRange();
range.moveToElementText( node );
range.select();
} else if ( window.getSelection ) {
var range = document.createRange();
range.selectNodeContents( node );
window.getSelection().removeAllRanges();
window.getSelection().addRange( range );
}
}
// Code taken from
http://stackoverflow.com/questions/1173194/select-all-div-text-with-single-mouse-click
This function could be assigned as a double-click handler to a div or a
tiddler's content div.
But at the moment I don't have the time to implement it, so I share the
idea for others to take over.
--
You received this message because you are subscribed to the Google Groups
"TiddlyWiki" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/tiddlywiki.
For more options, visit https://groups.google.com/d/optout.