SearchLogWidget

class SearchLogWidget : LogWidget {

Signal!SearchResultClickHandler searchResultClickHandler;

uint _filenameColor;

uint _errorColor;

uint _warningColor;

uint _deprecationColor;

}

Members

onThemeChanged void onThemeChanged(): handle theme change: e.g. reload some themed resources