scott brogden
|
6fdfd2ca9f
fixes for drawning html tags present in copied text, use un printable characters to highlight
|
8 years ago |
scott brogden
|
5e56d6114b
Removed drawing of normal html characters, replaced font with special text to not collide with copied html
|
8 years ago |
ScottBrogden
|
a6e5ffe8f0
ensure searched text is visible vertically in search results
|
9 years ago |
sabrogden
|
90acf50cdd
show search text in different color in ditto and description window
|
11 years ago |