Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorVictor Rubezhny2015-05-14 12:44:48 +0000
committerSarika Sinha2017-02-06 08:57:41 +0000
commit1c9b0619e4eebbc94b0f633e8590060de1c82ba0 (patch)
tree0ab450b10b7166b748e0efd309ef6e17d95574e7
parentab220976ddfb22a8b3230f3598f6dc0a2baac501 (diff)
downloadeclipse.platform.debug-1c9b0619e4eebbc94b0f633e8590060de1c82ba0.tar.gz
eclipse.platform.debug-1c9b0619e4eebbc94b0f633e8590060de1c82ba0.tar.xz
eclipse.platform.debug-1c9b0619e4eebbc94b0f633e8590060de1c82ba0.zip
The possible attempt to delete from read-only partition is fixed Change-Id: Id1a63ba5ef1cf74f3a594ba67e99f93cb59ea7cb Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
-rw-r--r--org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java4
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java
index b02fe4f57..b18f518ba 100644
--- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java
+++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/IOConsolePartitioner.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2000, 2013 IBM Corporation and others.
+ * Copyright (c) 2000, 2016 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -377,7 +377,7 @@ public class IOConsolePartitioner implements IConsoleDocumentPartitioner, IDocum
if (amountDeleted > 0) {
int offset = event.fOffset;
IOConsolePartition partition = (IOConsolePartition) getPartition(offset);
- if(partition == lastPartition) {
+ if (partition == lastPartition && IOConsolePartition.INPUT_PARTITION_TYPE.equals(partition.getType())) {
partition.delete(event.fOffset-partition.getOffset(), amountDeleted);
}
}

Back to the top