mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
[vcs-log] user-filter: treat empty user name as no filter.
This commit is contained in:
+6
-1
@@ -167,7 +167,12 @@ class UserFilterPopupComponent extends FilterPopupComponent {
|
||||
if (event.isOk()) {
|
||||
final String userText = popupBuilder.getText().trim();
|
||||
Collection<String> selectedUsers = ContainerUtil.toCollection(StringUtil.tokenize(userText, new String(USERS_SEPARATORS)));
|
||||
apply(selectedUsers, displayableText(selectedUsers), tooltip(selectedUsers));
|
||||
if (selectedUsers.isEmpty()) {
|
||||
apply(null, ALL, ALL);
|
||||
}
|
||||
else {
|
||||
apply(selectedUsers, displayableText(selectedUsers), tooltip(selectedUsers));
|
||||
}
|
||||
}
|
||||
}
|
||||
});
|
||||
|
||||
Reference in New Issue
Block a user