diff options
| author | Burt P <pburt0@gmail.com> | 2018-10-24 00:41:16 -0500 |
|---|---|---|
| committer | Leandro A. F. Pereira <leandro@hardinfo.org> | 2018-11-04 15:02:27 -0800 |
| commit | f6299d9fad21c065d1e4c0f1093770835fb73adf (patch) | |
| tree | b0cd1293efe336e40c0dc804fc1aa15285368b4d /pixmaps/audio.png | |
| parent | 81026a56d57b3e8ee00f2f43003a90cde30664f3 (diff) | |
params: html_ok -> markup_ok
The html_ok param added in
970174b0897d40b804808632784ffa1544d9da93
is misleading. It turns out that it is not HTML,
but Pango Markup that is used by GTK, and a subset of that
happens to also work as HTML4 for the HTML report generation.
This change renames html_ok to markup_ok in ProgramParameters
and adds a comment explaining what common set of tags may be
used.
Also, if report generation happens as a fallback after GUI
initialization failed, then also disable markup, unless report
will be generated as HTML.
Pango markup info at:
https://developer.gnome.org/pango/stable/PangoMarkupFormat.html
Signed-off-by: Burt P <pburt0@gmail.com>
Diffstat (limited to 'pixmaps/audio.png')
0 files changed, 0 insertions, 0 deletions