Rename run_ondemand to run_on_demand

This commit is contained in:
epimeletes 2023-10-03 23:24:42 +02:00 committed by GitHub
parent c7cf0cfd83
commit ee0db52ac4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
12 changed files with 25 additions and 24 deletions

View file

@ -359,7 +359,7 @@ impl AppState {
/// and can lead to undefined behaviour if the callback is not cleared before the end of
/// its real lifetime.
///
/// All public APIs that take an event callback (`run`, `run_ondemand`,
/// All public APIs that take an event callback (`run`, `run_on_demand`,
/// `pump_events`) _must_ pair a call to `set_callback` with
/// a call to `clear_callback` before returning to avoid undefined behaviour.
pub unsafe fn set_callback<T>(