def make_highlighted_text(text, positions, emph='color:magenta', wrapper=None):
positions = sorted(set(positions) - {-1})
if positions:
parts = []
pos = 0
for p in positions:
ch = text[p]
parts.append(escape(text[pos:p]))
parts.append('<span style="%s">%s</span>' % (emph, escape(ch)))
pos = p + len(ch)
parts.append(escape(text[pos:]))
text = ''.join(parts)
if wrapper:
text = '<span style="%s">%s</span>' % (wrapper, text)
ans = QStaticText(text)
to = ans.textOption()
to.setWrapMode(to.NoWrap)
ans.setTextOption(to)
ans.setTextFormat(Qt.RichText)
return ans
def make_highlighted_text(text, positions, emph='color:magenta', wrapper=None):
positions = sorted(set(positions) - {-1})
if positions:
parts = []
pos = 0
for p in positions:
ch = text[p]
parts.append(escape(text[pos:p]))
parts.append('<span style="%s">%s</span>' % (emph, escape(ch)))
pos = p + len(ch)
parts.append(escape(text[pos:]))
text = ''.join(parts)
if wrapper:
text = '<span style="%s">%s</span>' % (wrapper, text)
ans = QStaticText(text)
to = ans.textOption()
to.setWrapMode(to.NoWrap)
ans.setTextOption(to)
ans.setTextFormat(Qt.RichText)
return ans
