2020-06-17 18:31:42 +03:00
|
|
|
endpoint WebContentServer = 89
|
|
|
|
{
|
2020-06-21 22:22:10 +03:00
|
|
|
Greet(i32 client_pid) => (i32 client_id, i32 server_pid)
|
2020-06-17 18:31:42 +03:00
|
|
|
|
2021-01-16 19:22:35 +03:00
|
|
|
UpdateSystemTheme(Core::AnonymousBuffer theme_buffer) =|
|
2020-06-17 18:31:42 +03:00
|
|
|
|
|
|
|
LoadURL(URL url) =|
|
2020-10-08 23:11:01 +03:00
|
|
|
LoadHTML(String html, URL url) =|
|
2020-06-17 18:31:42 +03:00
|
|
|
|
|
|
|
Paint(Gfx::IntRect content_rect, i32 shbuf_id) =|
|
|
|
|
SetViewportRect(Gfx::IntRect rect) =|
|
|
|
|
|
|
|
|
MouseDown(Gfx::IntPoint position, unsigned button, unsigned buttons, unsigned modifiers) =|
|
|
|
|
MouseMove(Gfx::IntPoint position, unsigned button, unsigned buttons, unsigned modifiers) =|
|
|
|
|
MouseUp(Gfx::IntPoint position, unsigned button, unsigned buttons, unsigned modifiers) =|
|
2020-08-03 20:58:59 +03:00
|
|
|
|
|
|
|
KeyDown(i32 key, unsigned modifiers, u32 code_point) =|
|
2020-06-17 18:31:42 +03:00
|
|
|
}
|