Google Git
Sign in
eclipse / platform / eclipse.platform.text / refs/tags/I20190909-1520 / . / org.eclipse.text.quicksearch / src / org / eclipse / text / quicksearch / internal / core / preferences
tree: 2c6743cfae6f22f7935fd5fac184736cb7a016bd [path history] [tgz]
  1. QuickSearchPreferences.java