No gray colour, but we could highlight the matching text (as they do in JDT open module), and the history (#477) should be activated, it's already supported in the code, just displaying it should be fine.
My suggestion is that we use the history for relevance sorting.

Sort results in three categories:
- exact match
- match pattern after a "_"
- match anywhere

The idea is that if modules are all called app_somename, one searches for a prefix of "somename", but isn't interested in things that happen to be called "moresome" (for example).

Updating tickets (#134, #40, #43, #80, #100, #113, #120, #129, #131, #137, #156, #157, #179, #211, #222, #228, #231, #242, #326, #349, #379, #451, #455, #459, #523, #524, #530, #41, #46, #52, #58, #61, #62, #64, #76, #83, #89, #93, #95, #115, #116, #119, #121, #130, #135, #145, #149, #152, #155, #159, #163, #164, #168, #169, #170, #175, #181, #182, #188, #194, #199, #200, #205, #208, #210, #218, #219, #223, #224, #235, #237, #238, #239, #240, #241, #244, #252, #261, #265, #274, #276, #281, #283, #285, #294, #298, #316, #317, #318, #331, #332, #335, #336, #339, #340, #351, #354, #358, #364, #366, #372, #374, #375, #377, #378, #380, #383, #392, #394, #398, #405, #407, #410, #411, #412, #413, #415, #418, #422, #423, #424, #425, #427, #429, #430, #432, #436, #437, #438, #440, #442, #443, #445, #446, #447, #448, #449, #450, #452, #454, #460, #464, #465, #470, #471, #474, #477, #478, #479, #483, #484, #492, #493, #494, #495, #497, #498, #499, #506, #508, #510, #511, #512, #514, #515, #516, #517, #519, #521, #536, #537, #540, #541, #542, #543, #545, #546, #42, #44, #53, #54, #56, #67, #68, #69, #84, #87, #98, #99, #101, #106, #117, #118, #132, #144, #160, #166, #195, #216, #234, #249, #255, #264, #313, #314, #321, #328, #359, #387, #416, #419, #421, #428, #439, #463, #485, #488, #489, #528, #59, #123, #433)

Updating tickets (#503, #529, #40, #43, #120, #157, #179, #211, #222, #228, #326, #379, #451, #459, #523, #524, #530, #559, #535, #176, #177, #386, #389, #409, #434, #473, #41, #52, #62, #64, #83, #93, #115, #135, #145, #149, #155, #159, #163, #181, #194, #199, #200, #208, #210, #219, #224, #261, #265, #274, #281, #283, #285, #294, #298, #316, #318, #331, #332, #335, #336, #358, #375, #383, #394, #398, #412, #413, #415, #422, #423, #424, #425, #432, #440, #442, #443, #446, #448, #449, #450, #452, #454, #460, #464, #471, #474, #479, #483, #484, #492, #497, #506, #510, #512, #516, #519, #521, #536, #537, #541, #543, #546, #555, #556, #561, #564, #565, #291, #431, #502, #520, #522, #532, #469, #42, #44, #69, #87, #132, #195, #234, #255, #264, #313, #387, #419, #421, #428, #439, #488, #489, #558, #123, #433, #80, #113, #137, #242, #349, #455, #46, #58, #61, #76, #89, #95, #116, #121, #152, #168, #169, #170, #175, #188, #205, #218, #223, #237, #240, #241, #252, #276, #317, #339, #340, #351, #354, #364, #366, #372, #374, #377, #380, #405, #407, #410, #429, #430, #436, #437, #438, #445, #447, #470, #477, #478, #493, #494, #495, #498, #499, #511, #545, #548, #562, #563, #373, #401, #475, #560, #53, #84, #98, #99, #106, #117, #118, #166, #216, #249, #314, #321, #328, #359, #463, #485, #134, #100, #156, #427, #554, #551, #552, #550, #553, #129, #131, #231, #114, #323, #325, #119, #130, #164, #182, #235, #238, #239, #244, #378, #392, #411, #465, #508, #514, #515, #517, #557, #54, #67, #68, #101, #144, #160, #416, #528)

Updating tickets (#95, #106, #182, #483, #40, #42, #43, #69, #84, #89, #123, #152, #199, #216, #237, #291, #294, #313, #317, #321, #380, #477, #478, #485, #494, #511, #265, #548)

Updating tickets (#106, #113, #129, #130, #182, #223, #235, #276, #325, #438, #483, #529, #580, #40, #42, #43, #44, #46, #53, #58, #61, #69, #76, #80, #84, #89, #115, #116, #117, #119, #121, #123, #152, #164, #166, #168, #169, #170, #176, #188, #199, #208, #211, #216, #231, #234, #237, #238, #239, #244, #249, #252, #255, #264, #291, #294, #313, #314, #317, #321, #323, #326, #328, #336, #366, #374, #377, #378, #380, #392, #394, #398, #407, #410, #430, #440, #447, #459, #463, #465, #477, #478, #485, #491, #494, #496, #508, #511, #524, #530, #545, #560, #565, #569, #570, #576, #584, #590, #594, #596, #620, #621, #100, #160, #205, #240, #265, #436, #439, #452, #475, #493, #495, #506, #514, #515, #517, #536, #548, #557, #589, #600, #62, #99, #118, #132, #145, #210, #359, #387, #419, #433, #437, #445, #488, #498, #499)