To reproduce
- Create three 3 hosts with names:
1, 2, 3;
- Enable filter mode and type
2 to hide any other hosts apart from host with name 2;
- Copy host
2. The new host will appear in the list with name 2 (1);
- Edit
2 (1) host, it's not necessary to change anything, just press CTRL+S;
- Notice that there are two hosts with name
2 (1), origin host with name 2 has disappeared (that's a bug);
- Restart the app and notice that now hostnames are correct.
This is related to issue #79 , which is a library bug.
Workaround
Reset filter every time the app exits filter mode.
To reproduce
1,2,3;2to hide any other hosts apart from host with name2;2. The new host will appear in the list with name2 (1);2 (1)host, it's not necessary to change anything, just pressCTRL+S;2 (1), origin host with name2has disappeared (that's a bug);This is related to issue #79 , which is a library bug.
Workaround
Reset filter every time the app exits filter mode.