widget.php File Reference

This file contains the definition for the library class for edit PDF renderer. More...

Classes
class	assignfeedback_editpdf_widget
	A custom renderer class that extends the plugin_renderer_base and is used by the editpdf feedback plugin. More...

Detailed Description

This file contains the definition for the library class for edit PDF renderer.

Copyright

2012 Davo Smith

License

http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later