diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-10-08 17:15:03 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-10-08 17:15:03 +0200 |
| commit | 412bd99413f4afcaa77d631d0d5c6ffb5e372d4c (patch) | |
| tree | f885514bf03a81f1adf9889bf069cb7147b86884 /context/data/scite/context/scite-context.properties | |
| parent | c09358a5463dec70e45144c602f7d4a67039f95d (diff) | |
| download | context-412bd99413f4afcaa77d631d0d5c6ffb5e372d4c.tar.gz | |
2014-10-08 16:53:00
Diffstat (limited to 'context/data/scite/context/scite-context.properties')
| -rw-r--r-- | context/data/scite/context/scite-context.properties | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/context/data/scite/context/scite-context.properties b/context/data/scite/context/scite-context.properties index 78850ef0d..f1deb9df5 100644 --- a/context/data/scite/context/scite-context.properties +++ b/context/data/scite/context/scite-context.properties @@ -677,6 +677,9 @@ fold.margin.colour=#CCCCCC # testing +caret.width = 3 +selection.rectangular.switch.mouse = 1 + #~ cache.layout= find.command=mtxrun --script grep "$(find.what)" "$(find.files)" |