style-has-changed in editor<%>
Notifies the editor that a style in its style list has changed. This
method is automatically registered with the editor's style list using
notify-on-change in style-list% and automatically deregistered when the style list is removed from the
editor.
See
notify-on-change in style-list% for more information.
( -> void
send an-editor style-has-changed style)
style : style<%> object or #f