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

Fixed a bug: every other command isn't added to history if history size = max history size.

Browse Source
This commit is contained in:
Dmitry Trofimov
2011-03-31 14:19:09 +04:00
parent 6172fdf2f5
commit 2000fb69c6
1 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/execution/process/ConsoleHistoryModel.java
+4 -6
View File
@@ -26,15 +26,13 @@ public class ConsoleHistoryModel implements ModificationTracker {
if (myHistory.size() >= myMaxHistorySize) {
myHistory.removeLast();
}
else {
myHistory.addFirst(statement);
}
myHistory.addFirst(statement);
}
}
public void removeFromHistory(final String statement) {
synchronized (myHistory) {
myModificationTracker ++;
myModificationTracker++;
myHistoryCursor = -1;
myHistory.remove(statement);
}
@@ -67,7 +65,7 @@ public class ConsoleHistoryModel implements ModificationTracker {
@Nullable
public String getHistoryNext() {
synchronized (myHistory) {
if (myHistoryCursor < myHistory.size()-1) {
if (myHistoryCursor < myHistory.size() - 1) {
return myHistory.get(++myHistoryCursor);
}
else {
@@ -92,7 +90,7 @@ public class ConsoleHistoryModel implements ModificationTracker {
public boolean hasHistory(final boolean next) {
synchronized (myHistory) {
return next? myHistoryCursor <= myHistory.size() - 1 : myHistoryCursor >= 0;
return next ? myHistoryCursor <= myHistory.size() - 1 : myHistoryCursor >= 0;
}
}