Highlight Selection plugin For FlashDevelop