search

the-mantissa / pearls-chrome

Automatically exported from code.google.com/p/pearls-chrome
0 stars 0 forks source link

Case sensitive highlighting #7

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Add an option to be case sensitive.
It could be done for individual pearls by adding double quotes to them.

Original issue reported on code.google.com by tony.lo...@gmail.com on 13 Sep 2012 at 6:33

GoogleCodeExporter commented 9 years ago 
This would be great for adding stuff like "Go" language to my pearls :)

Original comment by hug...@gmail.com on 20 Jun 2013 at 3:28

GoogleCodeExporter commented 9 years ago 
Added on 1.0.7

Original comment by tony.lo...@gmail.com on 24 Jun 2013 at 3:31