From 55e34bd6d4f9934beb852cfedb66cdc2e7e31dcc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 1 Feb 2016 18:02:00 -0600 Subject: [PATCH] make syntax snips inherit the style-list of the editors that contain them --- gui-lib/mrlib/syntax-browser.rkt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/gui-lib/mrlib/syntax-browser.rkt b/gui-lib/mrlib/syntax-browser.rkt index b4017710..ce778394 100644 --- a/gui-lib/mrlib/syntax-browser.rkt +++ b/gui-lib/mrlib/syntax-browser.rkt @@ -308,6 +308,20 @@ needed to really make this work: (send info-text end-edit-sequence)) (define outer-t (new text:hide-caret/selection%)) + + (inherit get-admin) + (define/override (set-admin a) + (super set-admin a) + (define new-admin (get-admin)) + (when new-admin + (define sl (send (send new-admin get-editor) get-style-list)) + (send outer-t set-style-list sl) + (define standard (send sl find-named-style "Standard")) + (send outer-t lock #f) + (send outer-t change-style standard 0 (send outer-t last-position)) + (send outer-t lock #t) + (send info-text set-style-list sl) + (send output-text set-style-list sl))) (super-instantiate () (editor outer-t)