Econdoc1

About me

Developer Information
Name Econdoc1
User since July 4, 2011
Number of add-ons developed 0 add-ons
Average rating of developer's add-ons Not yet rated

My Reviews

Highlighter

Rated 4 out of 5 stars

Very nice idea. Small problem though: if one highlights text with a non-standard font, say Comic Sans, then clearing the highlight sometimes (but not always) changes the font to variable width.
Looking forward to the next version.

This review is for a previous version of the add-on (0.6.2).