| Age | Commit message (Collapse) | Author |
|---|
|
<memory> is a costly header we can avoid by just implementing
UniquePtr ourselves, which is a pretty straightforward in modern
C++, this saves around 10% of the compilation time here.
|
|
|
|
Lots of code includes buffer_utils.hh just for write_to_debug_buffer
which pulls many unnecessary dependencies. Reorganise to reduce
compile times.
|
|
This allow replacing a highlighter in place, not loosing its current
position in its parent.
Fixes #3436
|
|
The highlighter name must be given as part of the path of the
highlighter, as the last element.
Fixes #1712
|
|
|
|
set-face now takes a scope argument, and faces can be overridden on
a buffer or window basis.
colorscheme apply on global scope, which should be good enough for
now.
Fixes #1411
|
