MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

ConsoleHistory: small optimization

Browse Source
This commit is contained in:
Anton Makeev
2016-01-07 12:15:18 +01:00
parent bacb13f0a1
commit 5b277139f3
2 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/execution/console/ConsoleHistoryController.java
+2 -2
View File
@@ -136,7 +136,7 @@ public class ConsoleHistoryController {
}
public boolean hasHistory() {
return !getModel().getEntries().isEmpty();
return !getModel().isEmpty();
}
@NotNull
@@ -555,7 +555,7 @@ public class ConsoleHistoryController {
private void saveHistory() {
try {
if (getModel().getEntries().isEmpty()) return;
if (getModel().isEmpty()) return;
if (myRootType.isHidden()) {
saveHistoryOld();
return;
platform/lang-impl/src/com/intellij/execution/console/ConsoleHistoryModel.java
+6
View File
@@ -96,6 +96,12 @@ class ConsoleHistoryModel extends SimpleModificationTracker {
}
}
public boolean isEmpty() {
synchronized (myLock) {
return myEntries.isEmpty();
}
}
public int getHistorySize() {
synchronized (myLock) {
return myEntries.size();