Removed old dead code
svn: r4515 original commit: bdc179ebfd884d84bde1efe00e30026d1e70c155
This commit is contained in:
parent
932f831a25
commit
ba6819f1ed
|
@ -46,17 +46,6 @@
|
||||||
(editor -text)
|
(editor -text)
|
||||||
(context-menu (make-context-menu)))
|
(context-menu (make-context-menu)))
|
||||||
|
|
||||||
;; FIXME: Why doesn't this work?
|
|
||||||
#;
|
|
||||||
(when (current-syntax-font-size)
|
|
||||||
(let* ([style-list (send -text get-style-list)]
|
|
||||||
[standard (send style-list find-named-style "Standard")])
|
|
||||||
(send style-list replace-named-style "Standard"
|
|
||||||
(send style-list find-or-create-style
|
|
||||||
standard
|
|
||||||
(make-object style-delta% 'change-size
|
|
||||||
(current-syntax-font-size))))))
|
|
||||||
|
|
||||||
(send -text lock #t)
|
(send -text lock #t)
|
||||||
(send -split-panel set-percentages
|
(send -split-panel set-percentages
|
||||||
(list (- 1 props-percentage) props-percentage))
|
(list (- 1 props-percentage) props-percentage))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user