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)