Edouard Dupin 9640f3c527 change the color_ts in a better class anc rename VectorType in Vector

2012-08-14 16:11:09 +02:00

..

Highlight.cpp

change the color_ts in a better class anc rename VectorType in Vector

2012-08-14 16:11:09 +02:00

Highlight.h

change the color_ts in a better class anc rename VectorType in Vector

2012-08-14 16:11:09 +02:00

HighlightManager.cpp

change the color_ts in a better class anc rename VectorType in Vector

2012-08-14 16:11:09 +02:00

HighlightManager.h

change some file position

2012-04-24 09:42:14 +02:00

HighlightPattern.cpp

Revert "STANDARD ==> remove vector type and replace with std::vector (done but sone assertion)" ==> bad idea

2012-08-09 14:26:30 +02:00

HighlightPattern.h

change the color_ts in a better class anc rename VectorType in Vector

2012-08-14 16:11:09 +02:00