WebKit.EditorState.is_undo_available – webkit2gtk-4.0 Reference Manual
is_undo_available
Description:
[
Version
( since =
"2.20"
) ]
public
bool
is_undo_available
()
Gets whether an undo command can be issued.
Parameters:
this
a
EditorState
Returns:
true
if undo is currently available
2022 vala-language.org