Skip to content

GitLab

"src/git@developer.sourcefind.cn:renzhc/diffusers_dcu.git" did not exist on "87bfbc320d569e5e08e99a43024f1100de5beae3"
Commit 885a19e6 authored by Davis King's avatar Davis King
Browse files

clarified spec

parent 839942b8
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
dlib/gui_widgets/widgets_abstract.h
View file @ 885a19e6
...@@ -2725,8 +2725,8 @@ namespace dlib ...@@ -2725,8 +2725,8 @@ namespace dlib
requires requires
- event_handler is a valid pointer to a member function in T - event_handler is a valid pointer to a member function in T
ensures ensures
- the event_handler function is called on object when the user adds - the event_handler function is called on object when the user adds,
or removes an overlay rectangle. removes, or modifies an overlay rectangle.
- any previous calls to this function are overridden by this new call. - any previous calls to this function are overridden by this new call.
(i.e. you can only have one event handler associated with this (i.e. you can only have one event handler associated with this
event at a time) event at a time)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment