support for different fonts (family, trait & size) in highlighter

[NeomMob]

support for different fonts (family, trait & size) in highlighter

[shysaur]

Currently, highlighting by changing anything but color is unsupported because, all highlighting is done by setting temporary attributes on the layout manager. Temporary attributes can't affect layout; this means that trying to set the font with temporary attributes won't have any effect.

The only way to do this would be to change the attributes in the text storage, but since a text view's text storage can be modified by other parts of the application in unexpected ways, this is not really feasible. Some trickery would be needed to hide Fragaria's attributes from the rest of the application. But, even if we do that, it might interact in some unexpected way with the text view, because Fragaria sets isRichText to YES.

To sum it up, it's probably doable, but not in an easy way.

[shysaur]

BTW, this is a duplicate of #70.

[NeomMob]

Thanks for the explanation. I tried to modify if (mode from temporary attributes to directly setting attribute in the text storage) but performance is really impacted (+ the potential side effects you described)

[shysaur]

Fixed in 6b16cef (see issue #70).