[Plugin: Rich Text Widget] Please add a hook

Hi nice plugin,

It would be nice to allow developers to allow shortcodes in your editor.

function widget( $args, $instance ) {
		extract($args, EXTR_SKIP);
		$title = strlen($instance['title'])>0 ? esc_attr($instance['title']) : '';
		$text = strlen($instance['text'])>0 ? esc_attr($instance['text']) : '';

    // new addition
    $text = apply_filters('widget_richtext' , $text );

		echo $before_widget;
			if(strlen($title)>0) echo $before_title.$title.$after_title;
			echo '<div class="widget_richtext_content">'.html_entity_decode($text).'</div>';
		echo $after_widget;
	}

Any chance you can add this in for your next version?

http://wordpress.org/extend/plugins/rich-text-widget/