Changes between Version 12 and Version 13 of Ticket #10931
- Timestamp:
- May 27, 2014, 8:40:53 AM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #10931 – Description
v12 v13 9 9 * #12008 - integration with Clipboard plugin 10 10 * #12009 - integration with Magicline plugin 11 * #12018 - widgets garbage collecting and destroying patterns