updated smart_highlighting plugin from http://code.google.com/p/smart-hi...

...ghlighting-gedit/downloads/detail?name=smart-highlighting-3.0.5.tar.gz