23#include <wx/settings.h>
24#include <wx/textctrl.h>
26#include <wx/clipbrd.h>
32 const wxSize& size,
long style ) :
66 GetScrollPixelsPerUnit( &px, &py );
67 GetVirtualSize( &x, &y );
97 wxFont font = wxSystemSettings::GetFont( wxSYS_DEFAULT_GUI_FONT );
98 int additionalLineSpacing =
KiROUND( font.GetPixelSize().y * 0.6 );
100 return wxString::Format( wxT(
"<img align=texttop height=%d width=0 src=#>%s<br>" ),
101 additionalLineSpacing, aLine );
constexpr BOX2I KiROUND(const BOX2D &aBoxD)
bool SetPage(const wxString &aSource) override
HTML_WINDOW(wxWindow *aParent, wxWindowID aId=wxID_ANY, const wxPoint &aPos=wxDefaultPosition, const wxSize &aSize=wxDefaultSize, long aStyle=wxHW_DEFAULT_STYLE, const wxString &aName=wxT("htmlWindow"))
void Clear() override
Delete the stored messages.
std::vector< wxString > m_messages
copy of the report, stored for filtering.
REPORTER & Report(const wxString &aText, SEVERITY aSeverity=RPT_SEVERITY_UNDEFINED) override
Report a string with a given severity.
bool m_immediateMode
Indicates messages should be flushed as they are added.
void Flush()
Build the HTML messages page.
WX_HTML_REPORT_BOX(wxWindow *parent, wxWindowID id=wxID_ANY, const wxPoint &pos=wxDefaultPosition, const wxSize &size=wxSize(500, 300), long style=wxTAB_TRAVERSAL)
wxString generateHtml(const wxString &aLine)
void onThemeChanged(wxSysColourChangedEvent &aEvent)