23#include <wx/settings.h>
24#include <wx/textctrl.h>
29 const wxSize& size,
long style ) :
32 m_immediateMode( false )
36 Bind( wxEVT_SYS_COLOUR_CHANGED,
57 GetScrollPixelsPerUnit( &px, &py );
58 GetVirtualSize( &x, &y );
87 wxFont font = wxSystemSettings::GetFont( wxSYS_DEFAULT_GUI_FONT );
88 int additionalLineSpacing =
KiROUND( font.GetPixelSize().y * 0.6 );
90 return wxString::Format( wxT(
"<img align=texttop height=%d width=0 src=#>%s<br>" ),
91 additionalLineSpacing, aLine );
Add dark theme support to wxHtmlWindow.
bool SetPage(const wxString &aSource) override
A pure virtual class used to derive REPORTER objects from.
std::vector< wxString > m_messages
void Clear()
Delete the stored messages.
REPORTER & Report(const wxString &aText, SEVERITY aSeverity=RPT_SEVERITY_UNDEFINED) override
Report a string with a given severity.
bool m_immediateMode
copy of the report, stored for filtering
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)
constexpr ret_type KiROUND(fp_type v)
Round a floating point number to an integer using "round halfway cases away from zero".