IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Add support for highlighting selection matches in the query editor. #7530

Browse Source
This commit is contained in:
Rohit Bhati
2024-07-18 17:51:20 +05:30
committed by GitHub
parent fd78faf0cc
commit 8030bc708b
6 changed files with 27 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
web/pgadmin/browser/__init__.py
View File

@@ -490,6 +490,11 @@ def utils():
brace_matching_pref = prefs.preference('brace_matching')
brace_matching = brace_matching_pref.get()
highlight_selection_matches_pref = prefs.preference(
'highlight_selection_matches'
)
highlight_selection_matches = highlight_selection_matches_pref.get()
insert_pair_brackets_perf = prefs.preference('insert_pair_brackets')
insert_pair_brackets = insert_pair_brackets_perf.get()
@@ -542,6 +547,7 @@ def utils():
editor_use_spaces=editor_use_spaces,
editor_wrap_code=editor_wrap_code,
editor_brace_matching=brace_matching,
editor_highlight_selection_matches=highlight_selection_matches,
editor_insert_pair_brackets=insert_pair_brackets,
editor_indent_with_tabs=editor_indent_with_tabs,
app_name=config.APP_NAME,