tree 90edcd495cf460143d2ba25725951fe30189543a
parent 4478ecc9956eb5672c08d83e3cb5f94be9c15596
author Dawid Pakuła <zulus@w3des.net> 1397827260 +0200
committer Nick Sandonato <nsandona@us.ibm.com> 1398308264 -0400

[430312] If two highlighters always report same Position they are interchangeably used

Signed-off-by: Dawid Pakuła <zulus@w3des.net>