diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-04-29 14:20:42 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-04-29 14:20:42 +0200 |
| commit | 11bc24f992244b01859ce1dc532d983d96fbb328 (patch) | |
| tree | 8c81191ee40ee8f6ba82c407fce59c2384167d67 /src/buffer.cc | |
| parent | ba562367f046ef8f942b48da1a281166ac810fed (diff) | |
FlagLines: use a shared updaters for options
previously, having two windows showing the same buffer with
the same line flags would have updated the options twice, resulting
in wrong lines in option. Now line flags options are updated only
once by a shared object along all FlagLines highlighter using the
same option.
Diffstat (limited to 'src/buffer.cc')
0 files changed, 0 insertions, 0 deletions