You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
🎉 Since 18.4.0 filter modes are now configurable, thanks to #2430:
[search]
## The list of enabled filter modes, in order of priority.## The "workspace" mode is skipped when not in a workspace or workspaces = false.## Default filter mode can be overridden with the filter_mode setting.# filters = [ "global", "host", "session", "workspace", "directory" ]
Makes Ctrl R cycling through modes more convenient, as
host
in this case is the same asglobal
.The text was updated successfully, but these errors were encountered: