mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Add <br> between repositories in git fetch --prune notification
This commit is contained in:
@@ -211,7 +211,7 @@ public class GitFetcher {
|
||||
StringBuilder info = new StringBuilder();
|
||||
if (myRepositoryManager.moreThanOneRoot()) {
|
||||
for (Map.Entry<VirtualFile, String> entry : additionalInfo.entrySet()) {
|
||||
info.append(entry.getValue()).append(" in ").append(GitUIUtil.getShortRepositoryName(myProject, entry.getKey()));
|
||||
info.append(entry.getValue()).append(" in ").append(GitUIUtil.getShortRepositoryName(myProject, entry.getKey())).append("<br/>");
|
||||
}
|
||||
}
|
||||
else {
|
||||
|
||||
Reference in New Issue
Block a user