Improve performance by avoiding unnecessary highlighting updates#171
Open
gcrtnst wants to merge 1 commit intontpeters:masterfrom
Open
Improve performance by avoiding unnecessary highlighting updates#171gcrtnst wants to merge 1 commit intontpeters:masterfrom
gcrtnst wants to merge 1 commit intontpeters:masterfrom