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
A user requested an option to exclude terminal gaps with maxdiffs when searching. The terminal gaps are currently included in the count used with maxdiffs. So an option to ignore these or a new alternative maxdiffs option that excludes them would be useful.
The text was updated successfully, but these errors were encountered:
A user requested an option to exclude terminal gaps with
maxdiffs
when searching. The terminal gaps are currently included in the count used withmaxdiffs
. So an option to ignore these or a new alternativemaxdiffs
option that excludes them would be useful.The text was updated successfully, but these errors were encountered: