updated smart_highlighting plugin from http://code.google.com/p/smart-highlighting-gedit/downloads/detail?name=smart-highlighting-3.0.5.tar.gz
Merge pull request #158 from aeischeid/master

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