use correct editor class in syntax-browser snips
original commit: d330c2104ebf8ffa34de1708b74534eb9260a60f
This commit is contained in:
parent
d5cd4b5b06
commit
0e6fc9c17c
|
@ -8,6 +8,7 @@
|
||||||
"controller.rkt"
|
"controller.rkt"
|
||||||
"keymap.rkt"
|
"keymap.rkt"
|
||||||
"util.rkt"
|
"util.rkt"
|
||||||
|
"text.rkt"
|
||||||
"prefs.rkt")
|
"prefs.rkt")
|
||||||
|
|
||||||
(provide syntax-snip%
|
(provide syntax-snip%
|
||||||
|
@ -27,7 +28,7 @@
|
||||||
set-inset
|
set-inset
|
||||||
set-snipclass)
|
set-snipclass)
|
||||||
|
|
||||||
(define text (new text:standard-style-list%))
|
(define text (new browser-text%))
|
||||||
(super-new (editor text) (with-border? #f))
|
(super-new (editor text) (with-border? #f))
|
||||||
|
|
||||||
(set-margin 0 0 0 0)
|
(set-margin 0 0 0 0)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user