mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
push: check current repo by default if there is no external preselection
This commit is contained in:
@@ -141,9 +141,11 @@ public class PushController implements Disposable {
|
||||
RepositoryNode nodeForCurrentEditor = findNodeByRepo(myCurrentlyOpenedRepository);
|
||||
if (nodeForCurrentEditor != null) {
|
||||
MyRepoModel<?, ?, ?> currentRepoModel = myView2Model.get(nodeForCurrentEditor);
|
||||
if (isPreChecked(currentRepoModel)) {
|
||||
//for ASYNC with no preselected -> check current repo
|
||||
if (isPreChecked(currentRepoModel) || myPreselectedRepositories.isEmpty()) {
|
||||
// put current editor repo to be loaded at first
|
||||
priorityLoading.put(nodeForCurrentEditor, currentRepoModel);
|
||||
currentRepoModel.setChecked(true);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user