Gedit.ProgressInfoBar.set_fraction – gedit Reference Manual
set_fraction
Description:
public
void
set_fraction
(
double
fraction)
2022 vala-language.org