|
Lines 166-171
Link Here
|
| 166 |
int indent; |
166 |
int indent; |
| 167 |
int lineSpacing; |
167 |
int lineSpacing; |
| 168 |
int alignmentMargin; |
168 |
int alignmentMargin; |
|
|
169 |
int newOrientation = SWT.NONE; |
| 169 |
|
170 |
|
| 170 |
//block selection |
171 |
//block selection |
| 171 |
boolean blockSelection; |
172 |
boolean blockSelection; |
|
Lines 5887-5892
Link Here
|
| 5887 |
if (clipboardSelection == null) { |
5888 |
if (clipboardSelection == null) { |
| 5888 |
clipboardSelection = new Point(selection.x, selection.y); |
5889 |
clipboardSelection = new Point(selection.x, selection.y); |
| 5889 |
} |
5890 |
} |
|
|
5891 |
newOrientation = SWT.NONE; |
| 5892 |
if ((event.stateMask & SWT.MODIFIER_MASK) == SWT.CTRL && event.keyCode == SWT.SHIFT && isBidiCaret()) { |
| 5893 |
newOrientation = event.keyLocation == SWT.LEFT ? SWT.LEFT_TO_RIGHT : SWT.RIGHT_TO_LEFT; |
| 5894 |
} |
| 5890 |
|
5895 |
|
| 5891 |
Event verifyEvent = new Event(); |
5896 |
Event verifyEvent = new Event(); |
| 5892 |
verifyEvent.character = event.character; |
5897 |
verifyEvent.character = event.character; |
|
Lines 5910-5915
Link Here
|
| 5910 |
} |
5915 |
} |
| 5911 |
} |
5916 |
} |
| 5912 |
clipboardSelection = null; |
5917 |
clipboardSelection = null; |
|
|
5918 |
|
| 5919 |
if (newOrientation != SWT.NONE) { |
| 5920 |
setOrientation(newOrientation); |
| 5921 |
newOrientation = SWT.NONE; |
| 5922 |
} |
| 5913 |
} |
5923 |
} |
| 5914 |
/** |
5924 |
/** |
| 5915 |
* Updates the caret location and selection if mouse button 1 has been |
5925 |
* Updates the caret location and selection if mouse button 1 has been |
