The Plug-In, as the name suggests, offers some tiny tools for working with HTML. It was written with the typical experience of generating help-content for plug-in help files such as this in mind, where I usually generate the content and only afterwards do the markup. Also, all HREFs and image-sources point to local project resources.
The plug-in offers help with the following:
All tags used are largely configurable through the preferences-page.
Obviously, the plug-in was used when this documentation was written. I hope the plug-in serves you well. In case you find any problems with using it, have ideas for additional useful features or any other comments, contact me.
If you like the plug-in or you have comments to make: let others know! tinyHTMLTools is listed on eclipse-plugins.info and on eclipseplugincentral.com. Both sites allow commenting and rating plug-ins. On eclipse-plugins.info, you need to be a registered user to rate plugins - register and rate tinyHTMLTools!. On eclipseplugincentral.com, you can rate the plugin anonymously - go here.
Release 1.1.1
This is a patch because 1.1.0 was compiled under Java 5 leading to problems with users using JRE 1.4. No functional differences compared to 1.1.0 - Sorry for the trouble!Release 1.1.0
Alternatively, you may directly download the jar-file from the following links. Unpack it to the plugins-directory of your eclipse-installation into a directory called the same as the jar (without the extension, of course). Note that plugins installed in this way can not be managed using the Eclipse Configuration-Management tools.
Current Release
Source (as of version 1.1.0)
Version 1.1.0 and 1.1.1 (no source changes)
Archive