Create config.search.* group with ignore_case and incremental
This commit is contained in:
parent
bb2fcddcd4
commit
4eebd2a85d
@ -1770,7 +1770,7 @@ class CommandDispatcher:
|
|||||||
return
|
return
|
||||||
|
|
||||||
options = {
|
options = {
|
||||||
'ignore_case': config.val.ignore_case,
|
'ignore_case': config.val.search.ignore_case,
|
||||||
'reverse': reverse,
|
'reverse': reverse,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -33,7 +33,7 @@ history_gap_interval:
|
|||||||
Items with less time between them are grouped when being displayed in
|
Items with less time between them are grouped when being displayed in
|
||||||
`:history`. Use -1 to disable separation.
|
`:history`. Use -1 to disable separation.
|
||||||
|
|
||||||
ignore_case:
|
search.ignore_case:
|
||||||
type:
|
type:
|
||||||
name: String
|
name: String
|
||||||
valid_values:
|
valid_values:
|
||||||
@ -43,10 +43,10 @@ ignore_case:
|
|||||||
default: smart
|
default: smart
|
||||||
desc: When to find text on a page case-insensitively.
|
desc: When to find text on a page case-insensitively.
|
||||||
|
|
||||||
incremental_search:
|
search.incremental:
|
||||||
type: Bool
|
type: Bool
|
||||||
default: True
|
default: True
|
||||||
desc: Find text on a page incrementally, renewing the search for each typing character.
|
desc: Find text on a page incrementally, renewing the search for each typed character.
|
||||||
|
|
||||||
new_instance_open_target:
|
new_instance_open_target:
|
||||||
type:
|
type:
|
||||||
|
@ -243,7 +243,7 @@ class Command(misc.MinimalLineEditMixin, misc.CommandLineEdit):
|
|||||||
|
|
||||||
@pyqtSlot(str)
|
@pyqtSlot(str)
|
||||||
def _incremental_search(self, text):
|
def _incremental_search(self, text):
|
||||||
if config.val.incremental_search:
|
if config.val.search.incremental:
|
||||||
search_prefixes = {
|
search_prefixes = {
|
||||||
'/': 'search -- ',
|
'/': 'search -- ',
|
||||||
'?': 'search -r -- ',
|
'?': 'search -r -- ',
|
||||||
|
Loading…
Reference in New Issue
Block a user