mirrors/ladybird
0
0
Fork 0
mirror of https://github.com/LadybirdBrowser/ladybird.git synced 2025-04-27 23:09:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

LibWeb: Teach HtmlView how to open a .txt file

Browse source 
When encountering a text file, we now put it in a wrapper document with
the file contents in a <pre> tag. This works really nicely :^)
This commit is contained in:
Andreas Kling 2020-05-10 20:44:11 +02:00
parent 0e60e7aef0
commit 97adcde36e
Notes: sideshowbarker 2024-07-19 06:44:57 +09:00
1 changed files with 27 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

27
Libraries/LibWeb/HtmlView.cpp
View file

@ -321,6 +321,31 @@ void HtmlView::reload()
load(main_frame().document()->url()); load(main_frame().document()->url());
} }
static RefPtr<Document> create_text_document(const ByteBuffer& data, const URL& url)
{
auto document = adopt(*new Document(url));
auto html_element = document->create_element("html");
document->append_child(html_element);
auto head_element = document->create_element("head");
html_element->append_child(head_element);
auto title_element = document->create_element("title");
head_element->append_child(title_element);
auto title_text = document->create_text_node(url.basename());
title_element->append_child(title_text);
auto body_element = document->create_element("body");
html_element->append_child(body_element);
auto pre_element = create_element(document, "pre");
body_element->append_child(pre_element);
pre_element->append_child(document->create_text_node(String::copy(data)));
return document;
}
static RefPtr<Document> create_image_document(const ByteBuffer& data, const URL& url) static RefPtr<Document> create_image_document(const ByteBuffer& data, const URL& url)
{ {
auto document = adopt(*new Document(url)); auto document = adopt(*new Document(url));
@ -393,6 +418,8 @@ void HtmlView::load(const URL& url)
RefPtr<Document> document; RefPtr<Document> document;
if (url.path().ends_with(".png") || url.path().ends_with(".gif")) { if (url.path().ends_with(".png") || url.path().ends_with(".gif")) {
document = create_image_document(data, url); document = create_image_document(data, url);
} else if (url.path().ends_with(".txt")) {
document = create_text_document(data, url);
} else { } else {
String encoding = "utf-8"; String encoding = "utf-8";