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.

Reply via email to