mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
git log: default page size changed from 3000 to 1000
This commit is contained in:
@@ -160,7 +160,7 @@ public class MediatorImpl implements Mediator {
|
||||
}
|
||||
|
||||
@NonNls public static final String GIT_LOG_PAGE_SIZE = "git.log.page.size";
|
||||
public final static int ourManyLoadedStep = (! pageSizeOk(Integer.getInteger(GIT_LOG_PAGE_SIZE))) ? 3000 : Integer.getInteger(
|
||||
public final static int ourManyLoadedStep = (! pageSizeOk(Integer.getInteger(GIT_LOG_PAGE_SIZE))) ? 1000 : Integer.getInteger(
|
||||
GIT_LOG_PAGE_SIZE);
|
||||
|
||||
private static class SequenceSupportBuffer {
|
||||
|
||||
Reference in New Issue
Block a user