add 'folding margin width setting' (#2140)
commitd8f532b5adf41ae57b99b6ac95d336401ba15e35
authorAndy Alt <andy5995@users.noreply.github.com>
Mon, 22 Jun 2020 02:45:26 +0000 (21 21:45 -0500)
committerGitHub <noreply@github.com>
Mon, 22 Jun 2020 02:45:26 +0000 (22 12:45 +1000)
tree51e24edc79cd4da656b9af7fe4ab3e2b46f6b448
parent2b6d5956eb5b3f17a2f15889a8bea1271cedce1b
add 'folding margin width setting' (#2140)
data/filedefs/filetypes.common
src/editor.c
src/highlighting.c
src/sciwrappers.c
src/sciwrappers.h