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
There are a lot of indexes starting with a dot. These are often special indexes that we do not want to use. Therefore, we want to remove them from the shown indexes. Also I want to have a checkbox in the configuration dialogue to disable hiding dot indexes.
The text was updated successfully, but these errors were encountered:
There are a lot of indexes starting with a dot. These are often special indexes that we do not want to use. Therefore, we want to remove them from the shown indexes. Also I want to have a checkbox in the configuration dialogue to disable hiding dot indexes.
The text was updated successfully, but these errors were encountered: