Singularity.Widgets.FindReplaceBar.closed – singularity-1.0 Reference Manual
Packages
singularity-1.0
Singularity
Widgets
FindReplaceBar
find_text
reveal_child
FindReplaceBar
open_find
open_replace
set_match_info
closed
find_next
find_prev
replace_all
replace_one
closed
Description:
public
signal
void
closed
()