From 9bd01eacd3a9b76fd2181437647754184e19b04e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 10 Sep 2003 01:52:51 +0000 Subject: [PATCH] . original commit: 14dc1029abed6fd8eb6d4c18f51307099fee2cdb --- collects/mred/edit.ss | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/mred/edit.ss b/collects/mred/edit.ss index c9f3b26c..8150101d 100644 --- a/collects/mred/edit.ss +++ b/collects/mred/edit.ss @@ -54,6 +54,11 @@ #\Q) (append-editor-operation-menu-items edit-menu #f) + (when (eq? editor% text%) + (make-object separator-menu-item% edit-menu) + (make-object checkable-menu-item% "Wrap Lines" edit-menu + (lambda (item event) + (send e auto-wrap (send item is-checked?))))) (append-editor-font-menu-items font-menu) (let ([m (make-object menu% "Smoothing" font-menu)])