#include #include #include endpoint WebContentServer { update_system_theme(Core::AnonymousBuffer theme_buffer) =| update_system_fonts(String default_font_query, String fixed_width_font_query) =| update_screen_rects(Vector rects, u32 main_screen_index) =| load_url(URL url) =| load_html(String html, URL url) =| add_backing_store(i32 backing_store_id, Gfx::ShareableBitmap bitmap) =| remove_backing_store(i32 backing_store_id) =| paint(Gfx::IntRect content_rect, i32 backing_store_id) =| set_viewport_rect(Gfx::IntRect rect) =| mouse_down(Gfx::IntPoint position, unsigned button, unsigned buttons, unsigned modifiers) =| mouse_move(Gfx::IntPoint position, unsigned button, unsigned buttons, unsigned modifiers) =| mouse_up(Gfx::IntPoint position, unsigned button, unsigned buttons, unsigned modifiers) =| mouse_wheel(Gfx::IntPoint position, unsigned button, unsigned buttons, unsigned modifiers, i32 wheel_delta) =| key_down(i32 key, unsigned modifiers, u32 code_point) =| debug_request(String request, String argument) =| get_source() =| inspect_dom_tree() =| js_console_initialize() =| js_console_input(String js_source) =| run_javascript(String js_source) =| get_selected_text() => (String selection) select_all() =| }