comparison .pydevproject @ 2:de6b7ed0c34d

highlighting only enabled if not search for "*".
author dwinter
date Wed, 13 Mar 2013 08:35:18 +0100
parents 834706423ac1
children
comparison
equal deleted inserted replaced
1:9c356845613a 2:de6b7ed0c34d