Skip to content

Commit

Permalink
Preference to disable Ctrl+F shortcut
Browse files Browse the repository at this point in the history
  • Loading branch information
sidoruka committed Dec 17, 2024
1 parent aa414dc commit fb50c2a
Showing 1 changed file with 2 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -969,6 +969,8 @@ public class SystemPreferences {
"", UI_GROUP, pass, true);
public static final StringPreference UI_CONTINUE_RUN_CONFIRMATION = new StringPreference(
"ui.continue.run.confirmation", "", UI_GROUP, pass, true);
public static final BooleanPreference UI_QUICK_SEARCH_DISABLED = new BooleanPreference(
"ui.quick.search.disabled", false, UI_GROUP, pass, true);

// Facet Filters
public static final ObjectPreference<Map<String, Object>> FACETED_FILTER_DICT = new ObjectPreference<>(
Expand Down

0 comments on commit fb50c2a

Please sign in to comment.