Closed GoogleCodeExporter closed 9 years ago
Original comment by eric.mae...@gmail.com
on 26 Dec 2012 at 4:39
done or fixed? :-)
deleting Labels and adding original title here:
PadTools: wrong sync token highlighting on both output & editor text
Original comment by christian.a.reiter@gmail.com
on 26 Dec 2012 at 9:11
Original issue reported on code.google.com by
eric.mae...@gmail.com
on 26 Dec 2012 at 4:39