2021-07-02 21:40:44 -07:00
|
|
|
#include <AK/URL.h>
|
|
|
|
|
#include <LibCore/AnonymousBuffer.h>
|
|
|
|
|
#include <LibGfx/ShareableBitmap.h>
|
|
|
|
|
|
2021-04-25 13:19:53 +02:00
|
|
|
endpoint WebContentServer
|
2020-06-17 17:31:42 +02:00
|
|
|
{
|
2021-05-03 15:52:56 +02:00
|
|
|
update_system_theme(Core::AnonymousBuffer theme_buffer) =|
|
2021-05-21 18:10:23 +02:00
|
|
|
update_system_fonts(String default_font_query, String fixed_width_font_query) =|
|
2021-06-13 06:16:06 -06:00
|
|
|
update_screen_rects(Vector<Gfx::IntRect> rects, u32 main_screen_index) =|
|
2020-06-17 17:31:42 +02:00
|
|
|
|
2021-05-03 15:52:56 +02:00
|
|
|
load_url(URL url) =|
|
|
|
|
|
load_html(String html, URL url) =|
|
2020-06-17 17:31:42 +02:00
|
|
|
|
2021-05-03 15:52:56 +02:00
|
|
|
add_backing_store(i32 backing_store_id, Gfx::ShareableBitmap bitmap) =|
|
|
|
|
|
remove_backing_store(i32 backing_store_id) =|
|
2021-01-16 23:15:32 +01:00
|
|
|
|
2021-05-03 15:52:56 +02:00
|
|
|
paint(Gfx::IntRect content_rect, i32 backing_store_id) =|
|
|
|
|
|
set_viewport_rect(Gfx::IntRect rect) =|
|
2020-06-17 17:31:42 +02:00
|
|
|
|
2021-05-03 15:52:56 +02:00
|
|
|
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) =|
|
2020-08-03 19:58:59 +02:00
|
|
|
|
2021-05-03 15:52:56 +02:00
|
|
|
key_down(i32 key, unsigned modifiers, u32 code_point) =|
|
2021-01-31 09:06:25 +01:00
|
|
|
|
2021-05-03 15:52:56 +02:00
|
|
|
debug_request(String request, String argument) =|
|
|
|
|
|
get_source() =|
|
2021-06-07 16:35:10 +01:00
|
|
|
inspect_dom_tree() =|
|
2021-05-03 15:52:56 +02:00
|
|
|
js_console_initialize() =|
|
|
|
|
|
js_console_input(String js_source) =|
|
2021-07-14 08:32:55 -04:00
|
|
|
|
2021-08-24 16:56:42 +02:00
|
|
|
run_javascript(String js_source) =|
|
|
|
|
|
|
2021-07-14 08:32:55 -04:00
|
|
|
get_selected_text() => (String selection)
|
2021-07-14 08:53:55 -04:00
|
|
|
select_all() =|
|
2020-06-17 17:31:42 +02:00
|
|
|
}
|