Introduce highlighting phases and display setup computation

Highlighters now run in 3 phases:
Wrap, Move, and Colorize. That way we guarantee the wrap
highlighter runs first, then eventual line numbers/flags,
and finally the colorizers.

We also run a `compute_display_setup` method thats responsible
for computing the lines that will be displayed, eventually
scrolling the view to ensure the cursor is visible.
This commit is contained in:
Maxime Coste 2017-04-27 19:27:28 +01:00
parent a4f9e29d60
commit 57c2b32d20
6 changed files with 393 additions and 239 deletions

View File

@ -17,10 +17,11 @@ namespace Kakoune
class Context; class Context;
enum class HighlightFlags enum class HighlightPass
{ {
Highlight, Wrap,
MoveOnly Move,
Colorize,
}; };
// An Highlighter is a function which mutates a DisplayBuffer in order to // An Highlighter is a function which mutates a DisplayBuffer in order to
@ -32,10 +33,24 @@ struct Highlighter;
using HighlighterAndId = std::pair<String, std::unique_ptr<Highlighter>>; using HighlighterAndId = std::pair<String, std::unique_ptr<Highlighter>>;
struct DisplaySetup
{
// Window position relative to the buffer origin
DisplayCoord window_pos;
// Range of lines and columns from the buffer that will get displayed
DisplayCoord window_range;
// Position of the cursor in the window
DisplayCoord cursor_pos;
};
struct Highlighter struct Highlighter
{ {
virtual ~Highlighter() = default; virtual ~Highlighter() = default;
virtual void highlight(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange range) = 0; virtual void highlight(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange range) = 0;
virtual void compute_display_setup(const Context& context, HighlightPass pass,
DisplayCoord scroll_offset, DisplaySetup& setup) {}
virtual bool has_children() const { return false; } virtual bool has_children() const { return false; }
virtual Highlighter& get_child(StringView path) { throw runtime_error("this highlighter do not hold children"); } virtual Highlighter& get_child(StringView path) { throw runtime_error("this highlighter do not hold children"); }
@ -48,9 +63,9 @@ template<typename Func>
struct SimpleHighlighter : public Highlighter struct SimpleHighlighter : public Highlighter
{ {
SimpleHighlighter(Func func) : m_func(std::move(func)) {} SimpleHighlighter(Func func) : m_func(std::move(func)) {}
void highlight(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange range) override void highlight(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange range) override
{ {
m_func(context, flags, display_buffer, range); m_func(context, pass, display_buffer, range);
} }
private: private:
Func m_func; Func m_func;

View File

@ -5,11 +5,18 @@
namespace Kakoune namespace Kakoune
{ {
void HighlighterGroup::highlight(const Context& context, HighlightFlags flags, void HighlighterGroup::highlight(const Context& context, HighlightPass pass,
DisplayBuffer& display_buffer, BufferRange range) DisplayBuffer& display_buffer, BufferRange range)
{ {
for (auto& hl : m_highlighters) for (auto& hl : m_highlighters)
hl.value->highlight(context, flags, display_buffer, range); hl.value->highlight(context, pass, display_buffer, range);
}
void HighlighterGroup::compute_display_setup(const Context& context, HighlightPass pass,
DisplayCoord scroll_offset, DisplaySetup& setup)
{
for (auto& hl : m_highlighters)
hl.value->compute_display_setup(context, pass, scroll_offset, setup);
} }
void HighlighterGroup::add_child(HighlighterAndId&& hl) void HighlighterGroup::add_child(HighlighterAndId&& hl)

View File

@ -17,7 +17,10 @@ struct child_not_found : public runtime_error
class HighlighterGroup : public Highlighter class HighlighterGroup : public Highlighter
{ {
public: public:
void highlight(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange range) override; void highlight(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange range) override;
void compute_display_setup(const Context& context, HighlightPass pass,
DisplayCoord scroll_offset, DisplaySetup& setup) override;
bool has_children() const override { return true; } bool has_children() const override { return true; }
void add_child(HighlighterAndId&& hl) override; void add_child(HighlighterAndId&& hl) override;

View File

@ -68,7 +68,7 @@ void highlight_range(DisplayBuffer& display_buffer,
} }
void apply_highlighter(const Context& context, void apply_highlighter(const Context& context,
HighlightFlags flags, HighlightPass pass,
DisplayBuffer& display_buffer, DisplayBuffer& display_buffer,
BufferCoord begin, BufferCoord end, BufferCoord begin, BufferCoord end,
Highlighter& highlighter) Highlighter& highlighter)
@ -144,7 +144,7 @@ void apply_highlighter(const Context& context,
return; return;
region_display.compute_range(); region_display.compute_range();
highlighter.highlight(context, flags, region_display, {begin, end}); highlighter.highlight(context, pass, region_display, {begin, end});
for (size_t i = 0; i < region_lines.size(); ++i) for (size_t i = 0; i < region_lines.size(); ++i)
{ {
@ -171,7 +171,7 @@ static HighlighterAndId create_fill_highlighter(HighlighterParameters params)
const String& facespec = params[0]; const String& facespec = params[0];
get_face(facespec); // validate param get_face(facespec); // validate param
auto func = [=](const Context& context, HighlightFlags flags, auto func = [=](const Context& context, HighlightPass pass,
DisplayBuffer& display_buffer, BufferRange range) DisplayBuffer& display_buffer, BufferRange range)
{ {
highlight_range(display_buffer, range.begin, range.end, true, highlight_range(display_buffer, range.begin, range.end, true,
@ -207,14 +207,15 @@ public:
ensure_first_face_is_capture_0(); ensure_first_face_is_capture_0();
} }
void highlight(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange range) override void highlight(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange range) override
{ {
auto overlaps = [](const BufferRange& lhs, const BufferRange& rhs) { auto overlaps = [](const BufferRange& lhs, const BufferRange& rhs) {
return lhs.begin < rhs.begin ? lhs.end > rhs.begin return lhs.begin < rhs.begin ? lhs.end > rhs.begin
: rhs.end > lhs.begin; : rhs.end > lhs.begin;
}; };
if (flags != HighlightFlags::Highlight or not overlaps(display_buffer.range(), range)) if (pass != HighlightPass::Colorize or
not overlaps(display_buffer.range(), range))
return; return;
Vector<Face> faces(m_faces.size()); Vector<Face> faces(m_faces.size());
@ -399,9 +400,9 @@ public:
m_face_getter(std::move(face_getter)), m_face_getter(std::move(face_getter)),
m_highlighter(Regex{}, FacesSpec{}) {} m_highlighter(Regex{}, FacesSpec{}) {}
void highlight(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange range) override void highlight(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange range) override
{ {
if (flags != HighlightFlags::Highlight) if (pass != HighlightPass::Colorize)
return; return;
Regex regex = m_regex_getter(context); Regex regex = m_regex_getter(context);
@ -414,7 +415,7 @@ public:
m_highlighter.reset(m_last_regex, m_last_face); m_highlighter.reset(m_last_regex, m_last_face);
} }
if (not m_last_regex.empty() and not m_last_face.empty()) if (not m_last_regex.empty() and not m_last_face.empty())
m_highlighter.highlight(context, flags, display_buffer, range); m_highlighter.highlight(context, pass, display_buffer, range);
} }
private: private:
@ -491,9 +492,12 @@ HighlighterAndId create_line_highlighter(HighlighterParameters params)
get_face(facespec); // validate facespec get_face(facespec); // validate facespec
auto func = [=](const Context& context, HighlightFlags flags, auto func = [=](const Context& context, HighlightPass pass,
DisplayBuffer& display_buffer, BufferRange) DisplayBuffer& display_buffer, BufferRange)
{ {
if (pass != HighlightPass::Colorize)
return;
LineCount line = -1; LineCount line = -1;
try try
{ {
@ -543,9 +547,12 @@ HighlighterAndId create_column_highlighter(HighlighterParameters params)
get_face(facespec); // validate facespec get_face(facespec); // validate facespec
auto func = [=](const Context& context, HighlightFlags flags, auto func = [=](const Context& context, HighlightPass pass,
DisplayBuffer& display_buffer, BufferRange) DisplayBuffer& display_buffer, BufferRange)
{ {
if (pass != HighlightPass::Colorize)
return;
ColumnCount column = -1; ColumnCount column = -1;
try try
{ {
@ -647,33 +654,23 @@ HighlighterAndId create_column_highlighter(HighlighterParameters params)
return {"hlcol_" + params[0], make_simple_highlighter(std::move(func))}; return {"hlcol_" + params[0], make_simple_highlighter(std::move(func))};
} }
HighlighterAndId create_wrap_highlighter(HighlighterParameters params) struct WrapHighlighter : Highlighter
{ {
if (params.size() != 1) WrapHighlighter(String col_expr) : m_col_expr{std::move(col_expr)} {}
throw runtime_error("wrong parameter count");
String col_expr = params[0]; void highlight(const Context& context, HighlightPass pass,
DisplayBuffer& display_buffer, BufferRange) override
auto func = [=](const Context& context, HighlightFlags flags,
DisplayBuffer& display_buffer, BufferRange)
{ {
ColumnCount column = -1; if (pass != HighlightPass::Wrap)
try return;
{
column = str_to_int_ifp(expand(col_expr, context)).value_or(0) - 1;
}
catch (runtime_error& err)
{
write_to_debug_buffer(
format("Error evaluating highlight column expression: {}", err.what()));
}
ColumnCount column = get_wrap_column(context);
if (column < 0) if (column < 0)
return; return;
const Buffer& buffer = context.buffer(); const Buffer& buffer = context.buffer();
const int tabstop = context.options()["tabstop"].get<int>(); const int tabstop = context.options()["tabstop"].get<int>();
const auto line_count = display_buffer.lines().size(); const LineCount win_height = context.window().dimensions().line;
for (auto it = display_buffer.lines().begin(); for (auto it = display_buffer.lines().begin();
it != display_buffer.lines().end(); ++it) it != display_buffer.lines().end(); ++it)
{ {
@ -708,6 +705,12 @@ HighlighterAndId create_wrap_highlighter(HighlighterParameters params)
DisplayLine new_line{ AtomList{ atom_it, line.end() } }; DisplayLine new_line{ AtomList{ atom_it, line.end() } };
line.erase(atom_it, line.end()); line.erase(atom_it, line.end());
if (it+1 - display_buffer.lines().begin() == win_height)
{
display_buffer.lines().erase(it+1, display_buffer.lines().end());
return;
}
it = display_buffer.lines().insert(it+1, new_line); it = display_buffer.lines().insert(it+1, new_line);
coord = get_coord(column * line_split_count++); coord = get_coord(column * line_split_count++);
@ -715,14 +718,101 @@ HighlighterAndId create_wrap_highlighter(HighlighterParameters params)
} }
} }
} }
display_buffer.lines().resize(line_count); }
};
return {"wrap_" + params[0], make_simple_highlighter(std::move(func))}; void compute_display_setup(const Context& context, HighlightPass pass,
} DisplayCoord scroll_offset, DisplaySetup& setup) override
{
if (pass != HighlightPass::Wrap)
return;
void expand_tabulations(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange) ColumnCount column = get_wrap_column(context);
if (column < 0)
return;
const Buffer& buffer = context.buffer();
const int tabstop = context.options()["tabstop"].get<int>();
auto line_wrap_count = [&](LineCount line) {
auto len = get_column(buffer, tabstop, {line, buffer[line].length()-1});
return LineCount{(int)(len / column)};
};
const LineCount win_height = context.window().dimensions().line;
LineCount win_line = 0;
for (auto buf_line = setup.window_pos.line;
buf_line < setup.window_pos.line + setup.window_range.line;
++buf_line)
{
if (buf_line >= buffer.line_count())
break;
// Place the cursor correctly after its line gets wrapped
if (win_line == setup.cursor_pos.line)
{
auto cursor_buffer_column = setup.window_pos.column + setup.cursor_pos.column;
setup.cursor_pos.line += (int)(cursor_buffer_column / column);
auto new_cursor_buffer_column = (cursor_buffer_column % column);
if (new_cursor_buffer_column < setup.window_pos.column + scroll_offset.column)
setup.window_pos.column = new_cursor_buffer_column - scroll_offset.column;
setup.cursor_pos.column = new_cursor_buffer_column - setup.window_pos.column;
}
const auto wrap_count = line_wrap_count(buf_line);
setup.window_range.line -= wrap_count;
if (setup.cursor_pos.line > win_line)
setup.cursor_pos.line += wrap_count;
win_line += wrap_count + 1;
// scroll window to keep cursor visible, and update range as lines gets removed
while (setup.cursor_pos.line >= win_height)
{
auto removed_lines = 1 + line_wrap_count(setup.window_pos.line++);
setup.cursor_pos.line -= removed_lines;
win_line -= removed_lines;
// removed one line from the range, added removed_lines potential ones
setup.window_range.line += removed_lines - 1;
}
if (setup.window_range.line < buf_line - setup.window_pos.line + 1)
setup.window_range.line = buf_line - setup.window_pos.line + 1;
}
}
static HighlighterAndId create(HighlighterParameters params)
{
if (params.size() != 1)
throw runtime_error("wrong parameter count");
return {"wrap_" + params[0], make_unique<WrapHighlighter>(params[0])};
}
private:
ColumnCount get_wrap_column(const Context& context)
{
try
{
return {str_to_int_ifp(expand(m_col_expr, context)).value_or(0) - 1};
}
catch (runtime_error& err)
{
write_to_debug_buffer(
format("Error evaluating highlight column expression: {}", err.what()));
return {-1};
}
}
String m_col_expr;
};
void expand_tabulations(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange)
{ {
if (pass != HighlightPass::Move)
return;
const ColumnCount tabstop = context.options()["tabstop"].get<int>(); const ColumnCount tabstop = context.options()["tabstop"].get<int>();
auto& buffer = context.buffer(); auto& buffer = context.buffer();
for (auto& line : display_buffer.lines()) for (auto& line : display_buffer.lines())
@ -756,10 +846,13 @@ void expand_tabulations(const Context& context, HighlightFlags flags, DisplayBuf
} }
} }
void show_whitespaces(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange, void show_whitespaces(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange,
StringView tab, StringView tabpad, StringView tab, StringView tabpad,
StringView spc, StringView lf, StringView nbsp) StringView spc, StringView lf, StringView nbsp)
{ {
if (pass != HighlightPass::Colorize)
return;
const int tabstop = context.options()["tabstop"].get<int>(); const int tabstop = context.options()["tabstop"].get<int>();
auto whitespaceface = get_face("Whitespace"); auto whitespaceface = get_face("Whitespace");
auto& buffer = context.buffer(); auto& buffer = context.buffer();
@ -832,60 +925,93 @@ HighlighterAndId show_whitespaces_factory(HighlighterParameters params)
return {"show_whitespaces", make_simple_highlighter(std::move(func))}; return {"show_whitespaces", make_simple_highlighter(std::move(func))};
} }
void show_line_numbers(const Context& context, HighlightFlags flags, struct LineNumbersHighlighter : Highlighter
DisplayBuffer& display_buffer, BufferRange,
bool relative, bool hl_cursor_line,
StringView separator)
{ {
const Face face = get_face("LineNumbers"); LineNumbersHighlighter(bool relative, bool hl_cursor_line, String separator)
const Face face_absolute = get_face("LineNumberCursor"); : m_relative{relative},
LineCount last_line = context.buffer().line_count(); m_hl_cursor_line{hl_cursor_line},
int digit_count = 0; m_separator{std::move(separator)} {}
for (LineCount c = last_line; c > 0; c /= 10)
++digit_count;
char format[16]; void highlight(const Context& context, HighlightPass pass,
format_to(format, "%{}d{}", digit_count, separator); DisplayBuffer& display_buffer, BufferRange)
const int main_line = (int)context.selections().main().cursor().line + 1;
for (auto& line : display_buffer.lines())
{ {
const int current_line = (int)line.range().begin.line + 1; if (pass != HighlightPass::Move)
const bool is_cursor_line = main_line == current_line; return;
const int line_to_format = (relative and not is_cursor_line) ?
current_line - main_line : current_line; const Face face = get_face("LineNumbers");
char buffer[16]; const Face face_absolute = get_face("LineNumberCursor");
snprintf(buffer, 16, format, std::abs(line_to_format)); int digit_count = compute_digit_count(context);
DisplayAtom atom{buffer};
atom.face = (hl_cursor_line and is_cursor_line) ? face_absolute : face; char format[16];
line.insert(line.begin(), std::move(atom)); format_to(format, "%{}d{}", digit_count, m_separator);
const int main_line = (int)context.selections().main().cursor().line + 1;
for (auto& line : display_buffer.lines())
{
const int current_line = (int)line.range().begin.line + 1;
const bool is_cursor_line = main_line == current_line;
const int line_to_format = (m_relative and not is_cursor_line) ?
current_line - main_line : current_line;
char buffer[16];
snprintf(buffer, 16, format, std::abs(line_to_format));
DisplayAtom atom{buffer};
atom.face = (m_hl_cursor_line and is_cursor_line) ? face_absolute : face;
line.insert(line.begin(), std::move(atom));
}
} }
}
HighlighterAndId number_lines_factory(HighlighterParameters params) void compute_display_setup(const Context& context, HighlightPass pass,
DisplayCoord scroll_offset, DisplaySetup& setup) override
{
if (pass != HighlightPass::Move)
return;
ColumnCount width = compute_digit_count(context) + m_separator.column_length();
setup.window_range.column -= width;
auto cursor_overflow = setup.cursor_pos.column + scroll_offset.column -
setup.window_range.column + 1;
if (cursor_overflow > 0)
setup.window_pos.column += cursor_overflow;
}
static HighlighterAndId create(HighlighterParameters params)
{
static const ParameterDesc param_desc{
{ { "relative", { false, "" } },
{ "separator", { true, "" } },
{ "hlcursor", { false, "" } } },
ParameterDesc::Flags::None, 0, 0
};
ParametersParser parser(params, param_desc);
StringView separator = parser.get_switch("separator").value_or("");
if (separator.length() > 10)
throw runtime_error("Separator length is limited to 10 bytes");
return {"number_lines", make_unique<LineNumbersHighlighter>((bool)parser.get_switch("relative"), (bool)parser.get_switch("hlcursor"), separator.str())};
}
private:
int compute_digit_count(const Context& context)
{
int digit_count = 0;
LineCount last_line = context.buffer().line_count();
for (LineCount c = last_line; c > 0; c /= 10)
++digit_count;
return digit_count;
}
const bool m_relative;
const bool m_hl_cursor_line;
const String m_separator;
};
void show_matching_char(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange)
{ {
static const ParameterDesc param_desc{ if (pass != HighlightPass::Colorize)
{ { "relative", { false, "" } }, return;
{ "separator", { true, "" } },
{ "hlcursor", { false, "" } } },
ParameterDesc::Flags::None, 0, 0
};
ParametersParser parser(params, param_desc);
StringView separator = parser.get_switch("separator").value_or("");
if (separator.length() > 10)
throw runtime_error("Separator length is limited to 10 bytes");
using namespace std::placeholders;
auto func = std::bind(show_line_numbers, _1, _2, _3, _4,
(bool)parser.get_switch("relative"),
(bool)parser.get_switch("hlcursor"),
separator.str());
return {"number_lines", make_simple_highlighter(std::move(func))};
}
void show_matching_char(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange)
{
const Face face = get_face("MatchingChar"); const Face face = get_face("MatchingChar");
using CodepointPair = std::pair<Codepoint, Codepoint>; using CodepointPair = std::pair<Codepoint, Codepoint>;
static const CodepointPair matching_chars[] = { { '(', ')' }, { '{', '}' }, { '[', ']' }, { '<', '>' } }; static const CodepointPair matching_chars[] = { { '(', ')' }, { '{', '}' }, { '[', ']' }, { '<', '>' } };
@ -943,9 +1069,9 @@ HighlighterAndId create_matching_char_highlighter(HighlighterParameters params)
return {"show_matching", make_simple_highlighter(show_matching_char)}; return {"show_matching", make_simple_highlighter(show_matching_char)};
} }
void highlight_selections(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange) void highlight_selections(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange)
{ {
if (flags != HighlightFlags::Highlight) if (pass != HighlightPass::Colorize)
return; return;
const auto& buffer = context.buffer(); const auto& buffer = context.buffer();
@ -975,8 +1101,11 @@ void highlight_selections(const Context& context, HighlightFlags flags, DisplayB
} }
} }
void expand_unprintable(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange) void expand_unprintable(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange)
{ {
if (pass != HighlightPass::Move)
return;
auto& buffer = context.buffer(); auto& buffer = context.buffer();
for (auto& line : display_buffer.lines()) for (auto& line : display_buffer.lines())
{ {
@ -1006,58 +1135,27 @@ void expand_unprintable(const Context& context, HighlightFlags flags, DisplayBuf
} }
} }
HighlighterAndId create_flag_lines_highlighter(HighlighterParameters params) struct FlagLinesHighlighter : Highlighter
{ {
if (params.size() != 2) FlagLinesHighlighter(String option_name, String default_face)
throw runtime_error("wrong parameter count"); : m_option_name{std::move(option_name)},
m_default_face{std::move(default_face)} {}
const String& option_name = params[1]; using LineAndFlagList = TimestampedList<LineAndFlag>;
String default_face = params[0];
get_face(default_face); // validate param
// throw if wrong option type void highlight(const Context& context, HighlightPass pass,
GlobalScope::instance().options()[option_name].get<TimestampedList<LineAndFlag>>(); DisplayBuffer& display_buffer, BufferRange) override
auto func = [=](const Context& context, HighlightFlags flags,
DisplayBuffer& display_buffer, BufferRange)
{ {
auto& line_flags = context.options()[option_name].get_mutable<TimestampedList<LineAndFlag>>(); if (pass != HighlightPass::Move)
auto& lines = line_flags.list; return;
auto& line_flags = context.options()[m_option_name].get_mutable<LineAndFlagList>();
auto& buffer = context.buffer(); auto& buffer = context.buffer();
if (line_flags.prefix != buffer.timestamp()) update_line_flags_ifn(buffer, line_flags);
{
std::sort(lines.begin(), lines.end(),
[](const LineAndFlag& lhs, const LineAndFlag& rhs)
{ return std::get<0>(lhs) < std::get<0>(rhs); });
auto modifs = compute_line_modifications(buffer, line_flags.prefix); auto def_face = get_face(m_default_face);
auto ins_pos = lines.begin();
for (auto it = lines.begin(); it != lines.end(); ++it)
{
auto& line = std::get<0>(*it); // that line is 1 based as it comes from user side
auto modif_it = std::upper_bound(modifs.begin(), modifs.end(), line-1,
[](const LineCount& l, const LineModification& c)
{ return l < c.old_line; });
if (modif_it != modifs.begin())
{
auto& prev = *(modif_it-1);
if (line-1 < prev.old_line + prev.num_removed)
continue; // line removed
line += prev.diff();
}
if (ins_pos != it)
*ins_pos = std::move(*it);
++ins_pos;
}
lines.erase(ins_pos, lines.end());
line_flags.prefix = buffer.timestamp();
}
auto def_face = get_face(default_face);
Vector<DisplayLine> display_lines; Vector<DisplayLine> display_lines;
auto& lines = line_flags.list;
for (auto& line : lines) for (auto& line : lines)
{ {
display_lines.push_back(parse_display_line(std::get<1>(line))); display_lines.push_back(parse_display_line(std::get<1>(line)));
@ -1089,10 +1187,86 @@ HighlighterAndId create_flag_lines_highlighter(HighlighterParameters params)
*it++ = std::move(padding_atom); *it++ = std::move(padding_atom);
} }
} }
}; }
void compute_display_setup(const Context& context, HighlightPass pass,
DisplayCoord scroll_offset, DisplaySetup& setup) override
{
if (pass != HighlightPass::Move)
return;
auto& line_flags = context.options()[m_option_name].get_mutable<LineAndFlagList>();
auto& buffer = context.buffer();
update_line_flags_ifn(buffer, line_flags);
ColumnCount width = 0;
for (auto& line : line_flags.list)
width = std::max(parse_display_line(std::get<1>(line)).length(), width);
setup.window_range.column -= width;
auto cursor_overflow = setup.cursor_pos.column + scroll_offset.column -
setup.window_range.column + 1;
if (cursor_overflow > 0)
setup.window_pos.column += cursor_overflow;
}
static HighlighterAndId create(HighlighterParameters params)
{
if (params.size() != 2)
throw runtime_error("wrong parameter count");
const String& option_name = params[1];
const String& default_face = params[0];
get_face(default_face); // validate param
// throw if wrong option type
GlobalScope::instance().options()[option_name].get<LineAndFlagList>();
return {"hlflags_" + params[1], make_unique<FlagLinesHighlighter>(option_name, default_face) };
}
private:
void update_line_flags_ifn(const Buffer& buffer, LineAndFlagList& line_flags)
{
if (line_flags.prefix == buffer.timestamp())
return;
auto& lines = line_flags.list;
std::sort(lines.begin(), lines.end(),
[](const LineAndFlag& lhs, const LineAndFlag& rhs)
{ return std::get<0>(lhs) < std::get<0>(rhs); });
auto modifs = compute_line_modifications(buffer, line_flags.prefix);
auto ins_pos = lines.begin();
for (auto it = lines.begin(); it != lines.end(); ++it)
{
auto& line = std::get<0>(*it); // that line is 1 based as it comes from user side
auto modif_it = std::upper_bound(modifs.begin(), modifs.end(), line-1,
[](const LineCount& l, const LineModification& c)
{ return l < c.old_line; });
if (modif_it != modifs.begin())
{
auto& prev = *(modif_it-1);
if (line-1 < prev.old_line + prev.num_removed)
continue; // line removed
line += prev.diff();
}
if (ins_pos != it)
*ins_pos = std::move(*it);
++ins_pos;
}
lines.erase(ins_pos, lines.end());
line_flags.prefix = buffer.timestamp();
}
String m_option_name;
String m_default_face;
};
return {"hlflags_" + params[1], make_simple_highlighter(func) };
}
BufferCoord& get_first(RangeAndFace& r) { return std::get<0>(r).begin; } BufferCoord& get_first(RangeAndFace& r) { return std::get<0>(r).begin; }
BufferCoord& get_last(RangeAndFace& r) { return std::get<0>(r).end; } BufferCoord& get_last(RangeAndFace& r) { return std::get<0>(r).end; }
@ -1107,9 +1281,12 @@ HighlighterAndId create_ranges_highlighter(HighlighterParameters params)
// throw if wrong option type // throw if wrong option type
GlobalScope::instance().options()[option_name].get<TimestampedList<RangeAndFace>>(); GlobalScope::instance().options()[option_name].get<TimestampedList<RangeAndFace>>();
auto func = [=](const Context& context, HighlightFlags flags, auto func = [=](const Context& context, HighlightPass pass,
DisplayBuffer& display_buffer, BufferRange) DisplayBuffer& display_buffer, BufferRange)
{ {
if (pass != HighlightPass::Colorize)
return;
auto& range_and_faces = context.options()[option_name].get_mutable<TimestampedList<RangeAndFace>>(); auto& range_and_faces = context.options()[option_name].get_mutable<TimestampedList<RangeAndFace>>();
auto& ranges = range_and_faces.list; auto& ranges = range_and_faces.list;
@ -1174,12 +1351,12 @@ HighlighterAndId create_reference_highlighter(HighlighterParameters params)
// throw if not found // throw if not found
//DefinedHighlighters::instance().get_group(name, '/'); //DefinedHighlighters::instance().get_group(name, '/');
auto func = [=](const Context& context, HighlightFlags flags, auto func = [=](const Context& context, HighlightPass pass,
DisplayBuffer& display_buffer, BufferRange range) DisplayBuffer& display_buffer, BufferRange range)
{ {
try try
{ {
DefinedHighlighters::instance().get_child(name).highlight(context, flags, display_buffer, range); DefinedHighlighters::instance().get_child(name).highlight(context, pass, display_buffer, range);
} }
catch (child_not_found&) catch (child_not_found&)
{} {}
@ -1374,9 +1551,9 @@ public:
m_groups.insert({m_default_group, HighlighterGroup{}}); m_groups.insert({m_default_group, HighlighterGroup{}});
} }
void highlight(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange range) override void highlight(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange range) override
{ {
if (flags != HighlightFlags::Highlight) if (pass != HighlightPass::Colorize)
return; return;
auto display_range = display_buffer.range(); auto display_range = display_buffer.range();
@ -1402,23 +1579,22 @@ public:
for (; begin != end; ++begin) for (; begin != end; ++begin)
{ {
if (apply_default and last_begin < begin->begin) if (apply_default and last_begin < begin->begin)
apply_highlighter(context, flags, display_buffer, apply_highlighter(context, pass, display_buffer,
correct(last_begin), correct(begin->begin), correct(last_begin), correct(begin->begin),
default_group_it->value); default_group_it->value);
auto it = m_groups.find(begin->group); auto it = m_groups.find(begin->group);
if (it == m_groups.end()) if (it == m_groups.end())
continue; continue;
apply_highlighter(context, flags, display_buffer, apply_highlighter(context, pass, display_buffer,
correct(begin->begin), correct(begin->end), correct(begin->begin), correct(begin->end),
it->value); it->value);
last_begin = begin->end; last_begin = begin->end;
} }
if (apply_default and last_begin < display_range.end) if (apply_default and last_begin < display_range.end)
apply_highlighter(context, flags, display_buffer, apply_highlighter(context, pass, display_buffer,
correct(last_begin), range.end, correct(last_begin), range.end,
default_group_it->value); default_group_it->value);
} }
bool has_children() const override { return true; } bool has_children() const override { return true; }
@ -1596,7 +1772,7 @@ void register_highlighters()
registry.insert({ registry.insert({
"number_lines", "number_lines",
{ number_lines_factory, { LineNumbersHighlighter::create,
"Display line numbers \n" "Display line numbers \n"
"Parameters: -relative, -hlcursor, -separator <separator text>\n" } }); "Parameters: -relative, -hlcursor, -separator <separator text>\n" } });
registry.insert({ registry.insert({
@ -1629,7 +1805,7 @@ void register_highlighters()
"Creates a named group that can contain other highlighters" } }); "Creates a named group that can contain other highlighters" } });
registry.insert({ registry.insert({
"flag_lines", "flag_lines",
{ create_flag_lines_highlighter, { FlagLinesHighlighter::create,
"Parameters: <option name> <bg color>\n" "Parameters: <option name> <bg color>\n"
"Display flags specified in the line-flag-list option <option name>\n" "Display flags specified in the line-flag-list option <option name>\n"
"A line-flag is written: <line>|<fg color>|<text>, the list is : separated" } }); "A line-flag is written: <line>|<fg color>|<text>, the list is : separated" } });
@ -1650,7 +1826,7 @@ void register_highlighters()
"Highlight the column given by evaluating <value string> with <face>" } }); "Highlight the column given by evaluating <value string> with <face>" } });
registry.insert({ registry.insert({
"wrap", "wrap",
{ create_wrap_highlighter, { WrapHighlighter::create,
"Parameters: <value string>\n" "Parameters: <value string>\n"
"Wrap lines to given column" } }); "Wrap lines to given column" } });
registry.insert({ registry.insert({

View File

@ -17,9 +17,9 @@ namespace Kakoune
{ {
// Implementation in highlighters.cc // Implementation in highlighters.cc
void highlight_selections(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange range); void highlight_selections(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange range);
void expand_tabulations(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange range); void expand_tabulations(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange range);
void expand_unprintable(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer, BufferRange range); void expand_unprintable(const Context& context, HighlightPass pass, DisplayBuffer& display_buffer, BufferRange range);
Window::Window(Buffer& buffer) Window::Window(Buffer& buffer)
: Scope(buffer), : Scope(buffer),
@ -122,9 +122,10 @@ const DisplayBuffer& Window::update_display_buffer(const Context& context)
return m_display_buffer; return m_display_buffer;
kak_assert(&buffer() == &context.buffer()); kak_assert(&buffer() == &context.buffer());
scroll_to_keep_selection_visible_ifn(context); auto setup = compute_display_setup(context);
m_position = setup.window_pos;
for (LineCount line = 0; line < m_dimensions.line; ++line) for (LineCount line = 0; line < setup.window_range.line; ++line)
{ {
LineCount buffer_line = m_position.line + line; LineCount buffer_line = m_position.line + line;
if (buffer_line >= buffer().line_count()) if (buffer_line >= buffer().line_count())
@ -134,8 +135,10 @@ const DisplayBuffer& Window::update_display_buffer(const Context& context)
m_display_buffer.compute_range(); m_display_buffer.compute_range();
BufferRange range{{0,0}, buffer().end_coord()}; BufferRange range{{0,0}, buffer().end_coord()};
m_highlighters.highlight(context, HighlightFlags::Highlight, m_display_buffer, range); for (auto pass : { HighlightPass::Wrap, HighlightPass::Move, HighlightPass::Colorize })
m_builtin_highlighters.highlight(context, HighlightFlags::Highlight, m_display_buffer, range); m_highlighters.highlight(context, pass, m_display_buffer, range);
for (auto pass : { HighlightPass::Wrap, HighlightPass::Move, HighlightPass::Colorize })
m_builtin_highlighters.highlight(context, pass, m_display_buffer, range);
// cut the start of the line before m_position.column // cut the start of the line before m_position.column
for (auto& line : lines) for (auto& line : lines)
@ -171,94 +174,44 @@ void Window::set_dimensions(DisplayCoord dimensions)
} }
} }
static LineCount adapt_view_pos(LineCount line, LineCount offset, template<typename Unit>
LineCount view_pos, LineCount view_size, static Unit adapt_view_pos(Unit pos, Unit offset,
LineCount buffer_size) Unit view_pos, Unit view_size)
{ {
offset = std::min(offset, (view_size + 1) / 2); if (pos - offset < view_pos)
if (line - offset < view_pos) return std::max(Unit{0}, pos - offset);
return std::max(0_line, line - offset); else if (pos + offset >= view_pos + view_size)
else if (line + offset >= view_pos + view_size) return std::max(Unit{0}, pos + offset - view_size + 1);
return std::max(0_line, line + offset - view_size + 1);
return view_pos; return view_pos;
} }
static ColumnCount adapt_view_pos(const DisplayBuffer& display_buffer, ColumnCount offset, DisplaySetup Window::compute_display_setup(const Context& context)
BufferCoord pos, ColumnCount view_pos, ColumnCount view_size)
{ {
offset = std::min(offset, (view_size + 1) / 2); DisplayCoord offset = options()["scrolloff"].get<DisplayCoord>();
ColumnCount buffer_column = 0; offset.line = std::min(offset.line, (m_dimensions.line + 1) / 2);
ColumnCount non_buffer_column = 0; offset.column = std::min(offset.column, (m_dimensions.column + 1) / 2);
for (auto& line : display_buffer.lines())
{
for (auto& atom : line)
{
if (atom.has_buffer_range())
{
if (atom.begin() <= pos and atom.end() > pos)
{
ColumnCount pos_beg, pos_end;
if (atom.type() == DisplayAtom::Range)
{
auto& buf = atom.buffer();
pos_beg = buffer_column +
column_length(buf, atom.begin(), pos);
pos_end = pos_beg+1;
}
else
{
pos_beg = buffer_column;
pos_end = pos_beg + atom.length();
}
if (pos_beg - offset < view_pos) const auto& cursor = context.selections().main().cursor();
return std::max(0_col, pos_beg - offset);
if (pos_end + offset >= view_pos + view_size - non_buffer_column) m_position.line = adapt_view_pos(cursor.line, offset.line,
return pos_end + offset - view_size + non_buffer_column; m_position.line, m_dimensions.line);
}
buffer_column += atom.length();
}
else
non_buffer_column += atom.length();
}
}
return view_pos;
}
void Window::scroll_to_keep_selection_visible_ifn(const Context& context) const int tabstop = context.options()["tabstop"].get<int>();
{ auto cursor_col = get_column(buffer(), tabstop, cursor);
auto& selection = context.selections().main(); m_position.column = adapt_view_pos(cursor_col, offset.column,
const auto& anchor = selection.anchor();
const auto& cursor = selection.cursor();
const DisplayCoord offset = options()["scrolloff"].get<DisplayCoord>();
// scroll lines if needed, try to get as much of the selection visible as possible
m_position.line = adapt_view_pos(anchor.line, offset.line, m_position.line,
m_dimensions.line, buffer().line_count());
m_position.line = adapt_view_pos(cursor.line, offset.line, m_position.line,
m_dimensions.line, buffer().line_count());
// highlight only the line containing the cursor
DisplayBuffer display_buffer;
DisplayBuffer::LineList& lines = display_buffer.lines();
lines.emplace_back(AtomList{ {buffer(), cursor.line, cursor.line+1} });
display_buffer.compute_range();
BufferRange range{cursor.line, cursor.line + 1};
m_highlighters.highlight(context, HighlightFlags::MoveOnly, display_buffer, range);
m_builtin_highlighters.highlight(context, HighlightFlags::MoveOnly, display_buffer, range);
// now we can compute where the cursor is in display columns
// (this is only valid if highlighting one line and multiple lines put
// the cursor in the same position, however I do not find any sane example
// of highlighters not doing that)
m_position.column = adapt_view_pos(display_buffer, offset.column,
anchor.line == cursor.line ? anchor : cursor.line,
m_position.column, m_dimensions.column);
m_position.column = adapt_view_pos(display_buffer, offset.column, cursor,
m_position.column, m_dimensions.column); m_position.column, m_dimensions.column);
DisplaySetup setup{
m_position,
m_dimensions,
DisplayCoord{cursor.line - m_position.line, cursor_col - m_position.column}
};
for (auto pass : { HighlightPass::Wrap, HighlightPass::Move })
m_highlighters.compute_display_setup(context, pass, offset, setup);
for (auto pass : { HighlightPass::Wrap, HighlightPass::Move })
m_builtin_highlighters.compute_display_setup(context, pass, offset, setup);
return setup;
} }
namespace namespace

View File

@ -51,7 +51,7 @@ private:
Window(const Window&) = delete; Window(const Window&) = delete;
void on_option_changed(const Option& option) override; void on_option_changed(const Option& option) override;
void scroll_to_keep_selection_visible_ifn(const Context& context); DisplaySetup compute_display_setup(const Context& context);
void run_hook_in_own_context(StringView hook_name, StringView param, void run_hook_in_own_context(StringView hook_name, StringView param,
String client_name = ""); String client_name = "");