suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

correct contract

Browse Source
This commit is contained in:
Robby Findler 2015-08-29 08:11:59 -05:00
parent 79a3a9ebf8
commit fc0e6a2ce4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gui-doc/scribblings/framework/text.scrbl
View File

@ -506,7 +506,7 @@
@definterface[text:searching<%> (editor:keymap<%> text:basic<%>)]{
Any object matching this interface can be searched.
@defmethod[(set-searching-state [str (or/c #f string?)]
@defmethod[(set-searching-state [str (or/c #f (and/c string? (not/c "")))]
[cs? boolean?]
[replace-mode? boolean?]
[notify-frame? boolean?])