Version 0.3.1 of the plugin released (
see first post in thread).
Changes:
- Fixed a cosmetic menu issue (Span/Div editor)
- Added "section" to list of tags (Span/Div editor)
- Added ability to bypass diff generation (all tools)
- Arranged so dialogs retain their dimensions when resized (all tools)
- Tiny tweak to plugin-ized smartypants (Smarten Punctuation)
- Various things tidied up