ajaxorg/ace — pull request #873 by jcheng5 (2012-08-15 03:55:30+00:00)
Title: Add coloring for selected word in Eclipse

Selected word highlighting does not show up in Eclipse theme.