| changeset 56413 | 2d4d9a5f68ff |
| parent 56399 | 386e4cb7ad68 |
| child 56439 | 95e2656b3b23 |
--- a/NEWS Fri Apr 04 22:21:46 2014 +0200 +++ b/NEWS Fri Apr 04 22:51:22 2014 +0200 @@ -108,6 +108,9 @@ simplification process, enabled by the newly-introduced "simplifier_trace" declaration. +* Support for Navigator plugin, with toolbar buttons and keyboard +shortcuts similar to major web browsers. + *** Pure ***