|
129
|
1 ###############################################################################
|
|
|
2 # Copyright (c) 2000, 2005 IBM Corporation and others.
|
|
|
3 # All rights reserved. This program and the accompanying materials
|
|
|
4 # are made available under the terms of the Eclipse Public License v1.0
|
|
|
5 # which accompanies this distribution, and is available at
|
|
|
6 # http://www.eclipse.org/legal/epl-v10.html
|
|
|
7 #
|
|
|
8 # Contributors:
|
|
|
9 # IBM Corporation - initial API and implementation
|
|
|
10 ###############################################################################
|
|
|
11
|
|
|
12 TextEdit.range_outside= Range of child edit lies outside of parent edit
|
|
|
13 TextEdit.overlapping= Overlapping text edits
|
|
|
14 TextEdit.deleted_edit= Cannot add deleted edit
|
|
|
15
|
|
|
16 CopySourceEdit.no_target= No target edit provided.
|
|
|
17 CopySourceEdit.different_source= Target edit has different source edit.
|
|
|
18 CopySourceEdit.different_tree= The source and target edits belong to a different text edit tree.
|
|
|
19
|
|
|
20 CopyTargetEdit.no_source= No source edit provided.
|
|
|
21 CopyTargetEdit.different_target= Source edit has different target edit.
|
|
|
22 CopyTargetEdit.wrong_parent=Source edit must not be the parent of the target.
|
|
|
23
|
|
|
24 MoveSourceEdit.no_target= No target edit provided.
|
|
|
25 MoveSourceEdit.different_source= Target edit has different source edit.
|
|
|
26 MoveSourceEdit.different_tree= The source and target edits belong to a different text edit tree.
|
|
|
27
|
|
|
28 MoveTargetEdit.no_source= No source edit provided.
|
|
|
29 MoveTargetEdit.different_target= Source edit has different target edit.
|
|
|
30 MoveTargetEdit.wrong_parent=Source edit must not be the parent of the target.
|
|
|
31
|
|
|
32 TextEditProcessor.invalid_length=End position lies outside document range
|
|
|
33
|
|
|
34 UndoEdit.no_children=Cannot add children to an undo edit
|
|
|
35 UndoEdit.can_not_be_added=Cannot add an undo edit to another edit
|
