Joomla - How to use different HTML editor
You can have more then one web HTML editor installed in your Joomla system and each Joomla user can use own editor. Go to Joomla Extensions site and download what ever editor you want. Install extension (see how to install extension). To change currently used editor for any user (or just administrator), go to Site/User Manager, edit user, and under User Editor list choose editor that will be used by this user.
See list of all Joomla mini how to's from this site