diff .pydevproject @ 2:de6b7ed0c34d

highlighting only enabled if not search for "*".
author dwinter
date Wed, 13 Mar 2013 08:35:18 +0100
parents 834706423ac1
children
line wrap: on
line diff