#include "Editor.h" #include "EditorWrapper.h" #include #include #include #include #include #include #include #include #include #include #include #include #include //#define EDITOR_DEBUG Editor::Editor(GWidget* parent) : GTextEditor(GTextEditor::MultiLine, parent) { m_documentation_tooltip_window = GWindow::construct(); m_documentation_tooltip_window->set_rect(0, 0, 500, 400); m_documentation_tooltip_window->set_window_type(GWindowType::Tooltip); m_documentation_html_view = HtmlView::construct(nullptr); m_documentation_tooltip_window->set_main_widget(m_documentation_html_view); } Editor::~Editor() { } EditorWrapper& Editor::wrapper() { return static_cast(*parent()); } const EditorWrapper& Editor::wrapper() const { return static_cast(*parent()); } void Editor::focusin_event(CEvent& event) { wrapper().set_editor_has_focus({}, true); if (on_focus) on_focus(); GTextEditor::focusin_event(event); } void Editor::focusout_event(CEvent& event) { wrapper().set_editor_has_focus({}, false); GTextEditor::focusout_event(event); } void Editor::paint_event(GPaintEvent& event) { GTextEditor::paint_event(event); if (is_focused()) { GPainter painter(*this); painter.add_clip_rect(event.rect()); auto rect = frame_inner_rect(); if (vertical_scrollbar().is_visible()) rect.set_width(rect.width() - vertical_scrollbar().width()); if (horizontal_scrollbar().is_visible()) rect.set_height(rect.height() - horizontal_scrollbar().height()); painter.draw_rect(rect, Color::from_rgb(0x955233)); } } static HashMap& man_paths() { static HashMap paths; if (paths.is_empty()) { // FIXME: This should also search man3, possibly other places.. CDirIterator it("/usr/share/man/man2", CDirIterator::Flags::SkipDots); while (it.has_next()) { auto path = String::format("/usr/share/man/man2/%s", it.next_path().characters()); auto title = FileSystemPath(path).title(); paths.set(title, path); } } return paths; } void Editor::show_documentation_tooltip_if_available(const String& hovered_token, const Point& screen_location) { auto it = man_paths().find(hovered_token); if (it == man_paths().end()) { #ifdef EDITOR_DEBUG dbg() << "no man path for " << hovered_token; #endif m_documentation_tooltip_window->hide(); return; } if (m_documentation_tooltip_window->is_visible() && hovered_token == m_last_parsed_token) { return; } #ifdef EDITOR_DEBUG dbg() << "opening " << it->value; #endif auto file = CFile::construct(it->value); if (!file->open(CFile::ReadOnly)) { dbg() << "failed to open " << it->value << " " << file->error_string(); return; } MDDocument man_document; bool success = man_document.parse(file->read_all()); if (!success) { dbg() << "failed to parse markdown"; return; } auto html_text = man_document.render_to_html(); auto html_document = parse_html_document(html_text); if (!html_document) { dbg() << "failed to parse HTML"; return; } // FIXME: LibHTML needs a friendlier DOM manipulation API. Something like innerHTML :^) auto style_element = create_element(*html_document, "style"); style_element->append_child(adopt(*new Text(*html_document, "body { background-color: #dac7b5; }"))); // FIXME: This const_cast should not be necessary. auto* head_element = const_cast(html_document->head()); ASSERT(head_element); head_element->append_child(style_element); m_documentation_html_view->set_document(html_document); m_documentation_tooltip_window->move_to(screen_location.translated(4, 4)); m_documentation_tooltip_window->show(); m_last_parsed_token = hovered_token; } void Editor::mousemove_event(GMouseEvent& event) { GTextEditor::mousemove_event(event); if (document().spans().is_empty()) return; auto text_position = text_position_at(event.position()); if (!text_position.is_valid()) { GApplication::the().hide_tooltip(); return; } for (auto& span : document().spans()) { if (span.range.contains(text_position)) { auto adjusted_range = span.range; adjusted_range.end().set_column(adjusted_range.end().column() + 1); auto hovered_span_text = document().text_in_range(adjusted_range); #ifdef EDITOR_DEBUG dbg() << "Hovering: " << adjusted_range << " \"" << hovered_span_text << "\""; #endif show_documentation_tooltip_if_available(hovered_span_text, event.position().translated(screen_relative_rect().location())); return; } } GApplication::the().hide_tooltip(); }