[webkit-gtk] API proposal: webkit_web_editor_is_editing_command_enabled()

[Michael Catanzaro]

Hi,

I'd like to add a webkit_web_editor_is_editing_command_enabled() API.
This is equivalent to webkit_web_view_can_execute_editing_command(),
except it exists in the web process rather than the UI process.
Accordingly, it returns synchronously rather than asynchronously, since
there's no IPC involved and the result is immediately available.

Patch in [1].

It helps fix [2]. I was originally working on it to fix [3], but turns
out it's not really needed for that.

Michael

[1] https://bugs.webkit.org/show_bug.cgi?id=168219
[2] https://bugzilla.gnome.org/show_bug.cgi?id=765145
[3] https://bugzilla.gnome.org/show_bug.cgi?id=772106