| <!doctype html public "-//w3c//dtd html 4.0 transitional//en"> | |
| <html> | |
| <head> | |
| <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> | |
| <title>Package-level Javadoc</title> | |
| </head> | |
| <body> | |
| Extends the text editor framework with the concept of resources and markers. | |
| </body> | |
| </html> |