This event is sent when a new offset is required based on the current offset and a movement type.
| field | type | note |
|---|---|---|
| lineOffset | int | line start offset (input) |
| lineText | String | line text (input) |
| offset | int | the current offset (input) |
| newOffset | int | the new offset (input, output) |
| movement | int | the movement type (input) |
<init>(org.eclipse.swt.custom.StyledTextEvent e)Constructs a new instance of this class based on the information in the given event.
| name | type | description |
|---|---|---|
| e | org.eclipse.swt.custom.StyledTextEvent | the event containing the information |
getSource() · also: get_source| field | type | note |
|---|---|---|
| data | Object | a field for application use |
| display | Display | the display where the event occurred |
| time | int | the time that the event occurred. NOTE: This field is an unsigned integer and should be AND'ed with 0xFFFFFFFFL so that it can be treated as a signed long. |
| widget | Widget | the widget that issued the event |
toString()Returns a string containing a concise, human-readable description of the receiver.
Returns: a string representation of the event