On 2/26/12 6:31 PM, Allan Odgaard wrote:
Let me know if it happens in r9090 (current nightly build) — I didn’t find any bugs but I changed the code involved.
There is one instance where I see erroneous highlighting still being applied in r9090...if I highlight some text, switch to another tab (in TM) and switch back, the highlight is still dimmed. If I switch to another application, the highlight comes back like it should.