diff options
| author | nyamatongwe <devnull@localhost> | 2001-08-08 12:38:52 +0000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2001-08-08 12:38:52 +0000 |
| commit | a02c8bbb552891661a4987c0488010cde91c0cd3 (patch) | |
| tree | ea681b2e2f1f417f13ca45f417f455959de50f08 /src/ViewStyle.cxx | |
| parent | bbc25f15a4fa9c8bcae5d001897b73b783b14ad6 (diff) | |
| download | scintilla-mirror-a02c8bbb552891661a4987c0488010cde91c0cd3.tar.gz | |
Patch from Philippe to make the display jump more when the caret reaches
a margin. This is chosen with the CARET_XJUMPS flag.
Diffstat (limited to 'src/ViewStyle.cxx')
0 files changed, 0 insertions, 0 deletions