[wp-hackers] Adding quicktags to my plugin

[Dino Termini]

Hi everybody,

I'm writing a plugin that, among the options, has a text field where the 
user needs to add some HTML text. So I was looking into adding a few 
simple quicktags on top of the textarea to make things easier. I found 
out that there's some undocumented (?) WP code to do that [see below], 
but I'm not able to make it work. Could someone please point me to the 
right direction?

Thank you and happy holidays,
Dino.

Code:

<?php wp_print_scripts( 'quicktags' ); ?>

<script type="text/javascript">
// Customize the list of quicktags to show
edButtons = new Array(
  new edButton('ed_strong','b','<strong>','</strong>',''),
  new edButton('ed_link','link','','</a>','')
);
</script>

<script type="text/javascript"> edToolbar(); edCanvas = 
document.getElementById('container');</script>

<textarea name="options[container]" id="container" cols="70" 
rows="5">blah blah</textarea>