beremiz

Fix bug in resource search result highlighting

2012-12-19, Laurent Bessard
64aa66d481c5
Fix bug in resource search result highlighting
from py_ext import *
from PythonEditor import PythonEditor
from PythonFileCTNMixin import PythonFileCTNMixin