mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
remove outdated searchable options
This commit is contained in:
@@ -4906,10 +4906,6 @@
|
||||
<option name="data" hit="Data View" />
|
||||
<option name="view" hit="Data View" />
|
||||
<option name="database" hit="Database" />
|
||||
<option name="explicit" hit="Explicit parameter patterns (RegExp):" />
|
||||
<option name="parameter" hit="Explicit parameter patterns (RegExp):" />
|
||||
<option name="patterns" hit="Explicit parameter patterns (RegExp):" />
|
||||
<option name="regexp" hit="Explicit parameter patterns (RegExp):" />
|
||||
<option name="column" hit="Include column names" />
|
||||
<option name="include" hit="Include column names" />
|
||||
<option name="names" hit="Include column names" />
|
||||
|
||||
Reference in New Issue
Block a user