2011-11-30 02:37:20 +04:00
|
|
|
#include "highlighters.hh"
|
2013-04-09 21:39:03 +04:00
|
|
|
|
2011-11-14 18:23:02 +04:00
|
|
|
#include "assert.hh"
|
2012-09-17 21:01:13 +04:00
|
|
|
#include "color_registry.hh"
|
2012-12-31 17:28:32 +04:00
|
|
|
#include "context.hh"
|
2013-12-17 03:24:08 +04:00
|
|
|
#include "display_buffer.hh"
|
2013-04-09 21:39:03 +04:00
|
|
|
#include "option_types.hh"
|
|
|
|
#include "register_manager.hh"
|
2012-08-29 23:49:36 +04:00
|
|
|
#include "string.hh"
|
2012-10-08 16:27:43 +04:00
|
|
|
#include "utf8.hh"
|
2013-02-26 17:12:21 +04:00
|
|
|
#include "utf8_iterator.hh"
|
2013-03-26 03:14:38 +04:00
|
|
|
|
2013-02-26 17:12:21 +04:00
|
|
|
#include <sstream>
|
|
|
|
#include <locale>
|
2011-11-08 18:28:01 +04:00
|
|
|
|
2011-09-30 23:16:23 +04:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2012-04-03 17:39:20 +04:00
|
|
|
using namespace std::placeholders;
|
|
|
|
|
2012-05-03 11:25:13 +04:00
|
|
|
typedef boost::regex_iterator<BufferIterator> RegexIterator;
|
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
template<typename T>
|
|
|
|
void highlight_range(DisplayBuffer& display_buffer,
|
2013-05-23 15:59:33 +04:00
|
|
|
BufferCoord begin, BufferCoord end,
|
2012-07-13 01:19:10 +04:00
|
|
|
bool skip_replaced, T func)
|
2011-09-30 23:16:23 +04:00
|
|
|
{
|
2012-08-10 16:20:15 +04:00
|
|
|
if (begin == end or end <= display_buffer.range().first
|
|
|
|
or begin >= display_buffer.range().second)
|
2012-07-13 01:51:13 +04:00
|
|
|
return;
|
|
|
|
|
2012-07-13 01:19:10 +04:00
|
|
|
for (auto& line : display_buffer.lines())
|
2011-09-30 23:16:23 +04:00
|
|
|
{
|
2013-07-23 22:11:26 +04:00
|
|
|
auto& range = line.range();
|
|
|
|
if (range.second <= begin or end < range.first)
|
2012-12-12 22:33:29 +04:00
|
|
|
continue;
|
|
|
|
|
|
|
|
for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it)
|
2012-07-04 01:23:07 +04:00
|
|
|
{
|
2013-07-24 16:55:57 +04:00
|
|
|
bool is_replaced = atom_it->type() == DisplayAtom::ReplacedBufferRange;
|
2011-11-14 18:23:02 +04:00
|
|
|
|
2013-07-24 16:55:57 +04:00
|
|
|
if (not atom_it->has_buffer_range() or
|
2012-12-12 22:33:29 +04:00
|
|
|
(skip_replaced and is_replaced))
|
|
|
|
continue;
|
2011-09-30 23:16:23 +04:00
|
|
|
|
2013-07-24 16:55:57 +04:00
|
|
|
if (end <= atom_it->begin() or begin >= atom_it->end())
|
2012-12-12 22:33:29 +04:00
|
|
|
continue;
|
2012-02-23 01:48:14 +04:00
|
|
|
|
2013-07-24 16:55:57 +04:00
|
|
|
if (not is_replaced and begin > atom_it->begin())
|
2012-12-12 22:33:29 +04:00
|
|
|
atom_it = ++line.split(atom_it, begin);
|
2011-11-14 18:23:02 +04:00
|
|
|
|
2013-07-24 16:55:57 +04:00
|
|
|
if (not is_replaced and end < atom_it->end())
|
2012-12-12 22:33:29 +04:00
|
|
|
{
|
|
|
|
atom_it = line.split(atom_it, end);
|
|
|
|
func(*atom_it);
|
|
|
|
++atom_it;
|
2012-07-13 01:19:10 +04:00
|
|
|
}
|
2012-12-12 22:33:29 +04:00
|
|
|
else
|
|
|
|
func(*atom_it);
|
2012-07-13 01:19:10 +04:00
|
|
|
}
|
2011-09-30 23:16:23 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-12 01:38:43 +04:00
|
|
|
template<typename T>
|
2013-12-17 03:24:08 +04:00
|
|
|
void apply_highlighter(const Context& context,
|
2013-12-12 01:38:43 +04:00
|
|
|
DisplayBuffer& display_buffer,
|
|
|
|
BufferCoord begin, BufferCoord end,
|
|
|
|
T&& highlighter)
|
|
|
|
{
|
|
|
|
using LineIterator = DisplayBuffer::LineList::iterator;
|
|
|
|
LineIterator first_line;
|
|
|
|
std::vector<DisplayLine::iterator> insert_pos;
|
|
|
|
auto line_end = display_buffer.lines().end();
|
|
|
|
|
|
|
|
DisplayBuffer region_display;
|
|
|
|
auto& region_lines = region_display.lines();
|
|
|
|
for (auto line_it = display_buffer.lines().begin(); line_it != line_end; ++line_it)
|
|
|
|
{
|
|
|
|
auto& line = *line_it;
|
|
|
|
auto& range = line.range();
|
|
|
|
if (range.second <= begin or end < range.first)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
if (region_lines.empty())
|
|
|
|
first_line = line_it;
|
|
|
|
region_lines.emplace_back();
|
|
|
|
insert_pos.emplace_back();
|
|
|
|
|
|
|
|
if (range.first < begin or range.second > end)
|
|
|
|
{
|
|
|
|
size_t beg_idx = 0;
|
|
|
|
size_t end_idx = line.atoms().size();
|
|
|
|
|
|
|
|
for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it)
|
|
|
|
{
|
|
|
|
if (not atom_it->has_buffer_range() or end <= atom_it->begin() or begin >= atom_it->end())
|
|
|
|
continue;
|
|
|
|
|
|
|
|
bool is_replaced = atom_it->type() == DisplayAtom::ReplacedBufferRange;
|
|
|
|
if (atom_it->begin() <= begin)
|
|
|
|
{
|
|
|
|
if (is_replaced or atom_it->begin() == begin)
|
|
|
|
beg_idx = atom_it - line.begin();
|
|
|
|
else
|
|
|
|
{
|
|
|
|
atom_it = ++line.split(atom_it, begin);
|
|
|
|
beg_idx = atom_it - line.begin();
|
|
|
|
++end_idx;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (atom_it->end() >= end)
|
|
|
|
{
|
|
|
|
if (is_replaced or atom_it->end() == end)
|
|
|
|
beg_idx = atom_it - line.begin();
|
|
|
|
else
|
|
|
|
{
|
|
|
|
atom_it = ++line.split(atom_it, end);
|
|
|
|
end_idx = atom_it - line.begin();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
std::move(line.begin() + beg_idx, line.begin() + end_idx,
|
|
|
|
std::back_inserter(region_lines.back()));
|
|
|
|
insert_pos.back() = line.erase(line.begin() + beg_idx, line.begin() + end_idx);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
region_lines.back() = std::move(line);
|
|
|
|
insert_pos.back() = line.begin();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
region_display.compute_range();
|
2013-12-17 03:24:08 +04:00
|
|
|
highlighter(context, region_display);
|
2013-12-12 01:38:43 +04:00
|
|
|
|
|
|
|
for (size_t i = 0; i < region_lines.size(); ++i)
|
|
|
|
{
|
|
|
|
auto& line = *(first_line + i);
|
|
|
|
auto pos = insert_pos[i];
|
|
|
|
for (auto& atom : region_lines[i])
|
|
|
|
pos = ++line.insert(pos, std::move(atom));
|
|
|
|
}
|
|
|
|
display_buffer.compute_range();
|
|
|
|
}
|
|
|
|
|
2012-09-17 23:02:08 +04:00
|
|
|
typedef std::unordered_map<size_t, const ColorPair*> ColorSpec;
|
2012-08-15 19:08:48 +04:00
|
|
|
|
2014-01-10 02:51:23 +04:00
|
|
|
template<typename T>
|
|
|
|
struct BufferSideCache
|
|
|
|
{
|
|
|
|
BufferSideCache() : m_id{ValueId::get_free_id()} {}
|
|
|
|
|
|
|
|
T& get(const Buffer& buffer)
|
|
|
|
{
|
|
|
|
Value& cache_val = buffer.values()[m_id];
|
|
|
|
if (not cache_val)
|
|
|
|
cache_val = Value(T{});
|
|
|
|
return cache_val.as<T>();
|
|
|
|
}
|
|
|
|
private:
|
|
|
|
ValueId m_id;
|
|
|
|
};
|
|
|
|
|
2012-08-15 19:08:48 +04:00
|
|
|
class RegexColorizer
|
2011-11-24 23:11:58 +04:00
|
|
|
{
|
2012-08-15 19:08:48 +04:00
|
|
|
public:
|
|
|
|
RegexColorizer(Regex regex, ColorSpec colors)
|
2014-01-10 02:51:23 +04:00
|
|
|
: m_regex{std::move(regex)}, m_colors{std::move(colors)}
|
2012-08-15 19:08:48 +04:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
void operator()(const Context& context, DisplayBuffer& display_buffer)
|
2012-07-13 01:19:10 +04:00
|
|
|
{
|
2013-12-17 03:24:08 +04:00
|
|
|
auto& cache = update_cache_ifn(context.buffer(), display_buffer.range());
|
2013-12-04 22:52:16 +04:00
|
|
|
for (auto& match : cache.m_matches)
|
2012-08-07 02:13:54 +04:00
|
|
|
{
|
2012-08-15 19:08:48 +04:00
|
|
|
for (size_t n = 0; n < match.size(); ++n)
|
|
|
|
{
|
|
|
|
auto col_it = m_colors.find(n);
|
|
|
|
if (col_it == m_colors.end())
|
|
|
|
continue;
|
|
|
|
|
2013-11-19 03:17:06 +04:00
|
|
|
highlight_range(display_buffer, match[n].first, match[n].second, true,
|
2013-03-06 23:25:23 +04:00
|
|
|
[&](DisplayAtom& atom) { atom.colors = *col_it->second; });
|
2012-08-15 19:08:48 +04:00
|
|
|
}
|
2012-08-07 02:13:54 +04:00
|
|
|
}
|
2012-07-13 01:19:10 +04:00
|
|
|
}
|
2012-08-15 19:08:48 +04:00
|
|
|
|
|
|
|
private:
|
2013-11-19 03:17:06 +04:00
|
|
|
struct MatchesCache
|
|
|
|
{
|
|
|
|
BufferRange m_range;
|
2014-01-10 01:57:37 +04:00
|
|
|
size_t m_timestamp = 0;
|
2013-11-19 03:17:06 +04:00
|
|
|
std::vector<std::vector<std::pair<BufferCoord, BufferCoord>>> m_matches;
|
|
|
|
};
|
2014-01-10 02:51:23 +04:00
|
|
|
BufferSideCache<MatchesCache> m_cache;
|
2012-08-15 19:08:48 +04:00
|
|
|
|
|
|
|
Regex m_regex;
|
|
|
|
ColorSpec m_colors;
|
|
|
|
|
2013-12-04 22:52:16 +04:00
|
|
|
MatchesCache& update_cache_ifn(const Buffer& buffer, const BufferRange& range)
|
2012-08-15 19:08:48 +04:00
|
|
|
{
|
2014-01-10 02:51:23 +04:00
|
|
|
MatchesCache& cache = m_cache.get(buffer);
|
2013-11-19 03:17:06 +04:00
|
|
|
|
|
|
|
if (buffer.timestamp() == cache.m_timestamp and
|
|
|
|
range.first >= cache.m_range.first and
|
|
|
|
range.second <= cache.m_range.second)
|
2013-12-04 22:52:16 +04:00
|
|
|
return cache;
|
2012-08-15 19:08:48 +04:00
|
|
|
|
2013-11-19 03:17:06 +04:00
|
|
|
cache.m_range.first = buffer.clamp({range.first.line - 10, 0});
|
|
|
|
cache.m_range.second = buffer.next(buffer.clamp({range.second.line + 10, INT_MAX}));
|
|
|
|
cache.m_timestamp = buffer.timestamp();
|
2012-08-15 19:08:48 +04:00
|
|
|
|
2013-11-19 03:17:06 +04:00
|
|
|
cache.m_matches.clear();
|
|
|
|
RegexIterator re_it{buffer.iterator_at(cache.m_range.first),
|
|
|
|
buffer.iterator_at(cache.m_range.second), m_regex};
|
2012-08-15 19:08:48 +04:00
|
|
|
RegexIterator re_end;
|
|
|
|
for (; re_it != re_end; ++re_it)
|
2013-11-19 03:17:06 +04:00
|
|
|
{
|
|
|
|
cache.m_matches.emplace_back();
|
|
|
|
auto& match = cache.m_matches.back();
|
|
|
|
for (auto& sub : *re_it)
|
|
|
|
match.emplace_back(sub.first.coord(), sub.second.coord());
|
|
|
|
}
|
2013-12-04 22:52:16 +04:00
|
|
|
return cache;
|
2012-08-15 19:08:48 +04:00
|
|
|
}
|
|
|
|
};
|
2011-11-24 23:11:58 +04:00
|
|
|
|
2013-11-19 03:19:48 +04:00
|
|
|
HighlighterAndId colorize_regex_factory(HighlighterParameters params)
|
2011-11-10 18:28:38 +04:00
|
|
|
{
|
2012-08-07 02:13:54 +04:00
|
|
|
if (params.size() < 2)
|
2011-11-10 18:28:38 +04:00
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
|
2012-08-07 02:32:21 +04:00
|
|
|
try
|
2012-08-07 02:13:54 +04:00
|
|
|
{
|
2012-10-01 22:20:08 +04:00
|
|
|
static Regex color_spec_ex(R"((\d+):(\w+(,\w+)?))");
|
2012-08-07 02:32:21 +04:00
|
|
|
ColorSpec colors;
|
|
|
|
for (auto it = params.begin() + 1; it != params.end(); ++it)
|
|
|
|
{
|
2013-03-29 17:21:55 +04:00
|
|
|
boost::smatch res;
|
2012-08-07 02:32:21 +04:00
|
|
|
if (not boost::regex_match(it->begin(), it->end(), res, color_spec_ex))
|
|
|
|
throw runtime_error("wrong colorspec: '" + *it +
|
|
|
|
"' expected <capture>:<fgcolor>[,<bgcolor>]");
|
|
|
|
|
2013-05-17 16:09:42 +04:00
|
|
|
int capture = str_to_int(res[1].str());
|
2012-09-17 23:02:08 +04:00
|
|
|
const ColorPair*& color = colors[capture];
|
2013-05-13 16:23:07 +04:00
|
|
|
color = &get_color(res[2].str());
|
2012-08-07 02:32:21 +04:00
|
|
|
}
|
2011-11-10 18:28:38 +04:00
|
|
|
|
2012-08-07 02:32:21 +04:00
|
|
|
String id = "colre'" + params[0] + "'";
|
2011-11-15 18:28:03 +04:00
|
|
|
|
2013-12-18 00:03:54 +04:00
|
|
|
Regex ex{params[0].begin(), params[0].end(), boost::regex::optimize};
|
2012-08-07 02:32:21 +04:00
|
|
|
|
2012-08-15 19:08:48 +04:00
|
|
|
return HighlighterAndId(id, RegexColorizer(std::move(ex),
|
|
|
|
std::move(colors)));
|
2012-08-08 21:02:36 +04:00
|
|
|
}
|
2012-08-07 02:32:21 +04:00
|
|
|
catch (boost::regex_error& err)
|
|
|
|
{
|
|
|
|
throw runtime_error(String("regex error: ") + err.what());
|
|
|
|
}
|
2011-11-10 18:28:38 +04:00
|
|
|
}
|
|
|
|
|
2013-03-26 17:26:59 +04:00
|
|
|
template<typename RegexGetter>
|
|
|
|
class DynamicRegexHighlighter
|
2012-12-31 17:28:32 +04:00
|
|
|
{
|
|
|
|
public:
|
2013-03-26 17:26:59 +04:00
|
|
|
DynamicRegexHighlighter(const ColorSpec& colors, RegexGetter getter)
|
|
|
|
: m_regex_getter(getter), m_colors(colors), m_colorizer(Regex(), m_colors) {}
|
2012-12-31 17:28:32 +04:00
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
void operator()(const Context& context, DisplayBuffer& display_buffer)
|
2012-12-31 17:28:32 +04:00
|
|
|
{
|
2013-12-17 03:24:08 +04:00
|
|
|
Regex regex = m_regex_getter(context);
|
2013-03-26 17:26:59 +04:00
|
|
|
if (regex != m_last_regex)
|
2012-12-31 17:28:32 +04:00
|
|
|
{
|
2013-03-26 17:26:59 +04:00
|
|
|
m_last_regex = regex;
|
|
|
|
if (not m_last_regex.empty())
|
|
|
|
m_colorizer = RegexColorizer{m_last_regex, m_colors};
|
2012-12-31 17:28:32 +04:00
|
|
|
}
|
2013-03-26 17:26:59 +04:00
|
|
|
if (not m_last_regex.empty())
|
2013-12-17 03:24:08 +04:00
|
|
|
m_colorizer(context, display_buffer);
|
2012-12-31 17:28:32 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
2013-03-26 17:26:59 +04:00
|
|
|
Regex m_last_regex;
|
2013-01-04 21:39:13 +04:00
|
|
|
ColorSpec m_colors;
|
|
|
|
RegexColorizer m_colorizer;
|
2013-03-26 17:26:59 +04:00
|
|
|
RegexGetter m_regex_getter;
|
2012-12-31 17:28:32 +04:00
|
|
|
};
|
|
|
|
|
2013-11-19 03:19:48 +04:00
|
|
|
HighlighterAndId highlight_search_factory(HighlighterParameters params)
|
2012-12-31 17:28:32 +04:00
|
|
|
{
|
|
|
|
if (params.size() != 1)
|
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
try
|
|
|
|
{
|
2013-04-04 20:47:34 +04:00
|
|
|
ColorSpec colors { { 0, &get_color(params[0]) } };
|
2013-12-17 03:24:08 +04:00
|
|
|
auto get_regex = [](const Context&){
|
2013-03-26 17:26:59 +04:00
|
|
|
auto s = RegisterManager::instance()['/'].values(Context{});
|
|
|
|
return s.empty() ? Regex{} : Regex{s[0].begin(), s[0].end()};
|
|
|
|
};
|
|
|
|
return {"hlsearch", DynamicRegexHighlighter<decltype(get_regex)>{colors, get_regex}};
|
2012-12-31 17:28:32 +04:00
|
|
|
}
|
|
|
|
catch (boost::regex_error& err)
|
|
|
|
{
|
|
|
|
throw runtime_error(String("regex error: ") + err.what());
|
|
|
|
}
|
2013-04-03 21:20:38 +04:00
|
|
|
}
|
2012-12-31 17:28:32 +04:00
|
|
|
|
2013-11-19 03:19:48 +04:00
|
|
|
HighlighterAndId highlight_regex_option_factory(HighlighterParameters params)
|
2013-03-26 17:26:59 +04:00
|
|
|
{
|
|
|
|
if (params.size() != 2)
|
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
|
2013-04-04 20:47:34 +04:00
|
|
|
ColorSpec colors { { 0, &get_color(params[1]) } };
|
2013-03-26 17:26:59 +04:00
|
|
|
String option_name = params[0];
|
|
|
|
// verify option type now
|
2013-11-01 23:22:34 +04:00
|
|
|
GlobalOptions::instance()[option_name].get<Regex>();
|
2013-03-26 17:26:59 +04:00
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
auto get_regex = [option_name](const Context& context){ return context.options()[option_name].get<Regex>(); };
|
2013-03-26 17:26:59 +04:00
|
|
|
return {"hloption_" + option_name, DynamicRegexHighlighter<decltype(get_regex)>{colors, get_regex}};
|
2013-04-03 21:20:38 +04:00
|
|
|
}
|
2013-03-26 17:26:59 +04:00
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
void expand_tabulations(const Context& context, DisplayBuffer& display_buffer)
|
2011-10-12 22:52:22 +04:00
|
|
|
{
|
2013-12-17 03:24:08 +04:00
|
|
|
const int tabstop = context.options()["tabstop"].get<int>();
|
|
|
|
auto& buffer = context.buffer();
|
2012-07-13 01:19:10 +04:00
|
|
|
for (auto& line : display_buffer.lines())
|
2011-10-12 22:52:22 +04:00
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it)
|
2011-10-12 22:52:22 +04:00
|
|
|
{
|
2013-07-24 16:55:57 +04:00
|
|
|
if (atom_it->type() != DisplayAtom::BufferRange)
|
2012-07-13 01:19:10 +04:00
|
|
|
continue;
|
2011-10-17 23:01:36 +04:00
|
|
|
|
2013-07-24 16:55:57 +04:00
|
|
|
auto begin = buffer.iterator_at(atom_it->begin());
|
|
|
|
auto end = buffer.iterator_at(atom_it->end());
|
2012-07-13 01:19:10 +04:00
|
|
|
for (BufferIterator it = begin; it != end; ++it)
|
|
|
|
{
|
|
|
|
if (*it == '\t')
|
2011-10-15 08:45:49 +04:00
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
if (it != begin)
|
2013-05-23 15:59:33 +04:00
|
|
|
atom_it = ++line.split(atom_it, it.coord());
|
2012-07-13 01:19:10 +04:00
|
|
|
if (it+1 != end)
|
2013-05-23 15:59:33 +04:00
|
|
|
atom_it = line.split(atom_it, (it+1).coord());
|
2012-07-13 01:19:10 +04:00
|
|
|
|
|
|
|
int column = 0;
|
2013-07-23 22:11:26 +04:00
|
|
|
for (auto line_it = buffer.iterator_at(it.coord().line);
|
2012-07-13 01:19:10 +04:00
|
|
|
line_it != it; ++line_it)
|
|
|
|
{
|
2013-04-09 22:04:11 +04:00
|
|
|
kak_assert(*line_it != '\n');
|
2012-07-13 01:19:10 +04:00
|
|
|
if (*line_it == '\t')
|
|
|
|
column += tabstop - (column % tabstop);
|
|
|
|
else
|
|
|
|
++column;
|
|
|
|
}
|
|
|
|
|
|
|
|
int count = tabstop - (column % tabstop);
|
|
|
|
String padding;
|
|
|
|
for (int i = 0; i < count; ++i)
|
|
|
|
padding += ' ';
|
2013-07-24 16:55:57 +04:00
|
|
|
atom_it->replace(padding);
|
2012-07-13 01:19:10 +04:00
|
|
|
break;
|
2011-10-15 08:45:49 +04:00
|
|
|
}
|
2011-10-12 22:52:22 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
void show_line_numbers(const Context& context, DisplayBuffer& display_buffer)
|
2011-10-17 23:01:36 +04:00
|
|
|
{
|
2013-12-17 03:24:08 +04:00
|
|
|
LineCount last_line = context.buffer().line_count();
|
2012-02-23 00:43:59 +04:00
|
|
|
int digit_count = 0;
|
2012-08-23 01:33:52 +04:00
|
|
|
for (LineCount c = last_line; c > 0; c /= 10)
|
2012-02-23 00:43:59 +04:00
|
|
|
++digit_count;
|
|
|
|
|
2013-05-24 20:39:03 +04:00
|
|
|
char format[] = "%?d│";
|
2012-02-23 00:43:59 +04:00
|
|
|
format[1] = '0' + digit_count;
|
2013-04-04 20:47:34 +04:00
|
|
|
auto& colors = get_color("LineNumbers");
|
2012-07-13 01:19:10 +04:00
|
|
|
for (auto& line : display_buffer.lines())
|
2011-10-17 23:01:36 +04:00
|
|
|
{
|
2012-07-13 01:19:10 +04:00
|
|
|
char buffer[10];
|
2013-07-23 22:11:26 +04:00
|
|
|
snprintf(buffer, 10, format, (int)line.range().first.line + 1);
|
2013-07-24 16:55:57 +04:00
|
|
|
DisplayAtom atom{buffer};
|
2013-03-06 23:31:07 +04:00
|
|
|
atom.colors = colors;
|
2012-07-13 01:19:10 +04:00
|
|
|
line.insert(line.begin(), std::move(atom));
|
2011-10-17 23:01:36 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
void highlight_selections(const Context& context, DisplayBuffer& display_buffer)
|
2012-04-03 17:22:07 +04:00
|
|
|
{
|
2013-12-17 03:24:08 +04:00
|
|
|
const auto& buffer = context.buffer();
|
|
|
|
for (size_t i = 0; i < context.selections().size(); ++i)
|
2012-04-03 17:22:07 +04:00
|
|
|
{
|
2013-12-17 03:24:08 +04:00
|
|
|
auto& sel = context.selections()[i];
|
2013-03-01 22:21:06 +04:00
|
|
|
const bool forward = sel.first() <= sel.last();
|
2013-06-03 20:58:09 +04:00
|
|
|
BufferCoord begin = forward ? sel.first() : buffer.char_next(sel.last());
|
|
|
|
BufferCoord end = forward ? sel.last() : buffer.char_next(sel.first());
|
2013-03-01 22:21:06 +04:00
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
const bool primary = (i == context.selections().main_index());
|
2013-12-15 18:57:55 +04:00
|
|
|
ColorPair sel_colors = get_color(primary ? "PrimarySelection" : "SecondarySelection");
|
|
|
|
highlight_range(display_buffer, begin, end, false,
|
|
|
|
[&](DisplayAtom& atom) { atom.colors = sel_colors; });
|
2013-04-04 20:47:34 +04:00
|
|
|
ColorPair cur_colors = get_color(primary ? "PrimaryCursor" : "SecondaryCursor");
|
2013-06-03 20:58:09 +04:00
|
|
|
highlight_range(display_buffer, sel.last(), buffer.char_next(sel.last()), false,
|
2013-03-06 23:31:07 +04:00
|
|
|
[&](DisplayAtom& atom) { atom.colors = cur_colors; });
|
2012-04-03 17:22:07 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
void expand_unprintable(const Context& context, DisplayBuffer& display_buffer)
|
2013-02-26 17:12:21 +04:00
|
|
|
{
|
2013-12-17 03:24:08 +04:00
|
|
|
auto& buffer = context.buffer();
|
2013-02-26 17:12:21 +04:00
|
|
|
for (auto& line : display_buffer.lines())
|
|
|
|
{
|
2013-03-19 02:35:23 +04:00
|
|
|
for (auto atom_it = line.begin(); atom_it != line.end(); ++atom_it)
|
2013-02-26 17:12:21 +04:00
|
|
|
{
|
2013-07-24 16:55:57 +04:00
|
|
|
if (atom_it->type() == DisplayAtom::BufferRange)
|
2013-02-26 17:12:21 +04:00
|
|
|
{
|
2013-03-19 02:35:23 +04:00
|
|
|
using Utf8It = utf8::utf8_iterator<BufferIterator, utf8::InvalidBytePolicy::Pass>;
|
2013-07-24 16:55:57 +04:00
|
|
|
for (Utf8It it = buffer.iterator_at(atom_it->begin()),
|
|
|
|
end = buffer.iterator_at(atom_it->end()); it != end; ++it)
|
2013-02-26 17:12:21 +04:00
|
|
|
{
|
|
|
|
Codepoint cp = *it;
|
2014-01-05 19:14:58 +04:00
|
|
|
if (cp != '\n' and not iswprint(cp))
|
2013-02-26 17:12:21 +04:00
|
|
|
{
|
|
|
|
std::ostringstream oss;
|
|
|
|
oss << "U+" << std::hex << cp;
|
|
|
|
String str = oss.str();
|
2013-07-24 16:55:57 +04:00
|
|
|
if (it.base().coord() != atom_it->begin())
|
2013-06-05 21:19:35 +04:00
|
|
|
atom_it = ++line.split(atom_it, it.base().coord());
|
2013-07-24 16:55:57 +04:00
|
|
|
if ((it+1).base().coord() != atom_it->end())
|
2013-06-05 21:19:35 +04:00
|
|
|
atom_it = line.split(atom_it, (it+1).base().coord());
|
2013-07-24 16:55:57 +04:00
|
|
|
atom_it->replace(str);
|
2013-05-07 20:52:23 +04:00
|
|
|
atom_it->colors = { Colors::Red, Colors::Black };
|
2013-03-19 02:35:23 +04:00
|
|
|
break;
|
2013-02-26 17:12:21 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-11-19 03:19:48 +04:00
|
|
|
HighlighterAndId flag_lines_factory(HighlighterParameters params)
|
2013-03-06 17:24:47 +04:00
|
|
|
{
|
|
|
|
if (params.size() != 2)
|
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
|
2013-11-19 02:44:01 +04:00
|
|
|
const String& option_name = params[1];
|
|
|
|
Color bg = str_to_color(params[0]);
|
|
|
|
|
|
|
|
// throw if wrong option type
|
|
|
|
GlobalOptions::instance()[option_name].get<std::vector<LineAndFlag>>();
|
|
|
|
|
|
|
|
return {"hlflags_" + params[1],
|
2013-12-17 03:24:08 +04:00
|
|
|
[=](const Context& context, DisplayBuffer& display_buffer)
|
2013-11-19 02:44:01 +04:00
|
|
|
{
|
2013-12-17 03:24:08 +04:00
|
|
|
auto& lines_opt = context.options()[option_name];
|
2013-11-19 02:44:01 +04:00
|
|
|
auto& lines = lines_opt.get<std::vector<LineAndFlag>>();
|
|
|
|
|
|
|
|
CharCount width = 0;
|
|
|
|
for (auto& l : lines)
|
|
|
|
width = std::max(width, std::get<2>(l).char_length());
|
|
|
|
const String empty{' ', width};
|
|
|
|
for (auto& line : display_buffer.lines())
|
|
|
|
{
|
|
|
|
int line_num = (int)line.range().first.line + 1;
|
|
|
|
auto it = find_if(lines,
|
|
|
|
[&](const LineAndFlag& l)
|
|
|
|
{ return std::get<0>(l) == line_num; });
|
|
|
|
String content = it != lines.end() ? std::get<2>(*it) : empty;
|
|
|
|
content += String(' ', width - content.char_length());
|
|
|
|
DisplayAtom atom{std::move(content)};
|
|
|
|
atom.colors = { it != lines.end() ? std::get<1>(*it) : Colors::Default , bg };
|
|
|
|
line.insert(line.begin(), std::move(atom));
|
|
|
|
}
|
|
|
|
}};
|
2013-03-06 17:24:47 +04:00
|
|
|
}
|
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
template<void (*highlighter_func)(const Context&, DisplayBuffer&)>
|
2011-11-30 02:37:20 +04:00
|
|
|
class SimpleHighlighterFactory
|
2011-11-08 18:28:01 +04:00
|
|
|
{
|
|
|
|
public:
|
2012-04-14 05:17:09 +04:00
|
|
|
SimpleHighlighterFactory(const String& id) : m_id(id) {}
|
2011-11-08 18:28:01 +04:00
|
|
|
|
2013-11-19 03:19:48 +04:00
|
|
|
HighlighterAndId operator()(HighlighterParameters params) const
|
2011-11-08 18:28:01 +04:00
|
|
|
{
|
2011-11-30 02:37:20 +04:00
|
|
|
return HighlighterAndId(m_id, HighlighterFunc(highlighter_func));
|
2011-11-08 18:28:01 +04:00
|
|
|
}
|
|
|
|
private:
|
2012-04-14 05:17:09 +04:00
|
|
|
String m_id;
|
2011-11-08 18:28:01 +04:00
|
|
|
};
|
|
|
|
|
2013-11-19 03:19:48 +04:00
|
|
|
HighlighterAndId highlighter_group_factory(HighlighterParameters params)
|
2012-01-15 17:45:18 +04:00
|
|
|
{
|
|
|
|
if (params.size() != 1)
|
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
|
|
|
|
return HighlighterAndId(params[0], HighlighterGroup());
|
|
|
|
}
|
|
|
|
|
2013-12-04 02:03:10 +04:00
|
|
|
HighlighterAndId reference_factory(HighlighterParameters params)
|
|
|
|
{
|
|
|
|
if (params.size() != 1)
|
|
|
|
throw runtime_error("wrong parameter count");
|
|
|
|
|
|
|
|
const String& name = params[0];
|
|
|
|
|
|
|
|
// throw if not found
|
|
|
|
DefinedHighlighters::instance().get_group(name, '/');
|
|
|
|
|
|
|
|
return HighlighterAndId(name,
|
2013-12-17 03:24:08 +04:00
|
|
|
[name](const Context& context, DisplayBuffer& display_buffer)
|
|
|
|
{ DefinedHighlighters::instance().get_group(name, '/')(context, display_buffer); });
|
2013-12-04 02:03:10 +04:00
|
|
|
}
|
|
|
|
|
2013-12-12 01:38:43 +04:00
|
|
|
template<typename HighlightFunc>
|
2013-12-04 04:48:46 +04:00
|
|
|
struct RegionHighlighter
|
|
|
|
{
|
|
|
|
public:
|
2013-12-13 01:01:40 +04:00
|
|
|
RegionHighlighter(Regex begin, Regex end, HighlightFunc func)
|
2013-12-04 04:48:46 +04:00
|
|
|
: m_begin(std::move(begin)),
|
|
|
|
m_end(std::move(end)),
|
2014-01-10 02:51:23 +04:00
|
|
|
m_func(std::move(func))
|
2013-12-04 04:48:46 +04:00
|
|
|
{}
|
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
void operator()(const Context& context, DisplayBuffer& display_buffer)
|
2013-12-04 04:48:46 +04:00
|
|
|
{
|
2014-01-07 01:04:55 +04:00
|
|
|
auto& regions = update_cache_ifn(context.buffer());
|
|
|
|
for (auto& region : regions)
|
|
|
|
m_func(context, display_buffer, region.begin, region.end);
|
2013-12-04 22:52:16 +04:00
|
|
|
}
|
|
|
|
private:
|
2013-12-13 01:01:40 +04:00
|
|
|
Regex m_begin;
|
|
|
|
Regex m_end;
|
2013-12-12 01:38:43 +04:00
|
|
|
HighlightFunc m_func;
|
2013-12-04 22:52:16 +04:00
|
|
|
|
2014-01-07 01:04:55 +04:00
|
|
|
struct Region
|
|
|
|
{
|
|
|
|
BufferCoord begin;
|
|
|
|
BufferCoord end;
|
|
|
|
};
|
|
|
|
using RegionList = std::vector<Region>;
|
|
|
|
|
|
|
|
struct Match
|
|
|
|
{
|
|
|
|
size_t timestamp;
|
|
|
|
BufferCoord begin;
|
|
|
|
BufferCoord end;
|
|
|
|
};
|
|
|
|
using MatchList = std::vector<Match>;
|
|
|
|
|
2013-12-04 22:52:16 +04:00
|
|
|
struct RegionCache
|
|
|
|
{
|
2014-01-07 01:04:55 +04:00
|
|
|
size_t timestamp = 0;
|
|
|
|
MatchList begin_matches;
|
|
|
|
MatchList end_matches;
|
|
|
|
RegionList regions;
|
2013-12-04 22:52:16 +04:00
|
|
|
};
|
2014-01-10 02:51:23 +04:00
|
|
|
BufferSideCache<RegionCache> m_cache;
|
2013-12-04 22:52:16 +04:00
|
|
|
|
2014-01-07 01:04:55 +04:00
|
|
|
const RegionList& update_cache_ifn(const Buffer& buffer)
|
2013-12-04 22:52:16 +04:00
|
|
|
{
|
2014-01-10 02:51:23 +04:00
|
|
|
RegionCache& cache = m_cache.get(buffer);
|
2014-01-07 01:04:55 +04:00
|
|
|
const size_t buf_timestamp = buffer.timestamp();
|
|
|
|
if (cache.timestamp == buf_timestamp)
|
|
|
|
return cache.regions;
|
2014-01-10 01:57:37 +04:00
|
|
|
|
2014-01-07 01:04:55 +04:00
|
|
|
update_matches(buffer, cache.timestamp, cache.begin_matches, m_begin);
|
|
|
|
update_matches(buffer, cache.timestamp, cache.end_matches, m_end);
|
2013-12-04 22:52:16 +04:00
|
|
|
|
|
|
|
cache.regions.clear();
|
2014-01-07 01:04:55 +04:00
|
|
|
for (auto beg_it = cache.begin_matches.begin(), end_it = cache.end_matches.begin();
|
|
|
|
beg_it != cache.begin_matches.end(); )
|
2013-12-04 04:48:46 +04:00
|
|
|
{
|
2014-01-07 01:04:55 +04:00
|
|
|
auto compare_matches = [&](const Match& lhs, const Match& rhs) {
|
|
|
|
return lhs.end < rhs.end;
|
|
|
|
};
|
|
|
|
end_it = std::upper_bound(end_it, cache.end_matches.end(),
|
|
|
|
*beg_it, compare_matches);
|
|
|
|
if (end_it == cache.end_matches.end())
|
2013-12-04 04:48:46 +04:00
|
|
|
{
|
2014-01-07 01:04:55 +04:00
|
|
|
cache.regions.push_back({beg_it->begin, buffer.end_coord()});
|
|
|
|
break;
|
2013-12-04 04:48:46 +04:00
|
|
|
}
|
2013-12-13 01:01:40 +04:00
|
|
|
else
|
2014-01-07 01:04:55 +04:00
|
|
|
{
|
|
|
|
cache.regions.push_back({beg_it->begin, end_it->end});
|
|
|
|
beg_it = std::upper_bound(beg_it, cache.begin_matches.end(),
|
|
|
|
*end_it, compare_matches);
|
|
|
|
}
|
2013-12-04 04:48:46 +04:00
|
|
|
}
|
2013-12-04 22:52:16 +04:00
|
|
|
cache.timestamp = buffer.timestamp();
|
2014-01-07 01:04:55 +04:00
|
|
|
return cache.regions;
|
|
|
|
}
|
|
|
|
|
|
|
|
void update_matches(const Buffer& buffer, size_t timestamp, MatchList& matches, const Regex& regex)
|
|
|
|
{
|
|
|
|
const size_t buf_timestamp = buffer.timestamp();
|
|
|
|
// remove out of date matches
|
|
|
|
for (auto it = matches.begin(); it != matches.end();)
|
|
|
|
{
|
|
|
|
if (it->timestamp < buffer.line_timestamp(it->begin.line))
|
|
|
|
it = matches.erase(it);
|
|
|
|
else ++it;
|
|
|
|
}
|
|
|
|
// try to find new matches in each updated lines
|
|
|
|
for (auto line = 0_line; line < buffer.line_count(); ++line)
|
|
|
|
{
|
|
|
|
if (buffer.line_timestamp(line) > timestamp)
|
|
|
|
{
|
|
|
|
auto& l = buffer[line];
|
|
|
|
for (boost::regex_iterator<String::const_iterator> it{l.begin(), l.end(), regex}, end{}; it != end; ++it)
|
|
|
|
{
|
|
|
|
BufferCoord b{line, (int)((*it)[0].first - l.begin())};
|
|
|
|
BufferCoord e{line, (int)((*it)[0].second - l.begin())};
|
|
|
|
matches.push_back({ buf_timestamp, b, e });
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
std::sort(matches.begin(), matches.end(),
|
|
|
|
[](const Match& lhs, const Match& rhs) { return lhs.begin < rhs.begin; });
|
2013-12-04 04:48:46 +04:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2013-12-12 01:38:43 +04:00
|
|
|
template<typename HighlightFunc>
|
|
|
|
RegionHighlighter<HighlightFunc>
|
2013-12-13 01:01:40 +04:00
|
|
|
make_region_highlighter(Regex begin, Regex end, HighlightFunc func)
|
2013-12-12 01:38:43 +04:00
|
|
|
{
|
2013-12-13 01:01:40 +04:00
|
|
|
return RegionHighlighter<HighlightFunc>(std::move(begin), std::move(end), std::move(func));
|
2013-12-12 01:38:43 +04:00
|
|
|
}
|
|
|
|
|
2013-12-04 04:48:46 +04:00
|
|
|
HighlighterAndId region_factory(HighlighterParameters params)
|
|
|
|
{
|
2013-12-13 01:01:40 +04:00
|
|
|
try
|
|
|
|
{
|
|
|
|
if (params.size() != 3)
|
|
|
|
throw runtime_error("wrong parameter count");
|
2013-12-04 04:48:46 +04:00
|
|
|
|
2013-12-18 00:03:54 +04:00
|
|
|
Regex begin{params[0], boost::regex::nosubs | boost::regex::optimize };
|
|
|
|
Regex end{params[1], boost::regex::nosubs | boost::regex::optimize };
|
2013-12-13 01:01:40 +04:00
|
|
|
const ColorPair colors = get_color(params[2]);
|
2013-12-04 04:48:46 +04:00
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
auto func = [colors](const Context&, DisplayBuffer& display_buffer,
|
2013-12-13 01:01:40 +04:00
|
|
|
BufferCoord begin, BufferCoord end)
|
|
|
|
{
|
|
|
|
highlight_range(display_buffer, begin, end, true,
|
|
|
|
[&colors](DisplayAtom& atom) { atom.colors = colors; });
|
|
|
|
};
|
2013-12-12 01:38:43 +04:00
|
|
|
|
2013-12-13 01:01:40 +04:00
|
|
|
return HighlighterAndId("region(" + params[0] + "," + params[1] + ")",
|
|
|
|
make_region_highlighter(std::move(begin), std::move(end), func));
|
|
|
|
}
|
|
|
|
catch (boost::regex_error& err)
|
|
|
|
{
|
|
|
|
throw runtime_error(String("regex error: ") + err.what());
|
|
|
|
}
|
2013-12-04 04:48:46 +04:00
|
|
|
}
|
|
|
|
|
2013-12-12 01:38:43 +04:00
|
|
|
HighlighterAndId region_ref_factory(HighlighterParameters params)
|
|
|
|
{
|
2013-12-13 01:01:40 +04:00
|
|
|
try
|
|
|
|
{
|
|
|
|
if (params.size() != 3 and params.size() != 4)
|
|
|
|
throw runtime_error("wrong parameter count");
|
2013-12-12 01:38:43 +04:00
|
|
|
|
2013-12-18 00:03:54 +04:00
|
|
|
Regex begin{params[0], boost::regex::nosubs | boost::regex::optimize };
|
|
|
|
Regex end{params[1], boost::regex::nosubs | boost::regex::optimize };
|
2013-12-13 01:01:40 +04:00
|
|
|
const String& name = params[2];
|
2013-12-12 01:38:43 +04:00
|
|
|
|
2013-12-17 03:24:08 +04:00
|
|
|
auto func = [name](const Context& context, DisplayBuffer& display_buffer,
|
2013-12-13 01:01:40 +04:00
|
|
|
BufferCoord begin, BufferCoord end)
|
|
|
|
{
|
|
|
|
HighlighterGroup& ref = DefinedHighlighters::instance().get_group(name, '/');
|
2013-12-17 03:24:08 +04:00
|
|
|
apply_highlighter(context, display_buffer, begin, end, ref);
|
2013-12-13 01:01:40 +04:00
|
|
|
};
|
2013-12-12 01:38:43 +04:00
|
|
|
|
2013-12-13 01:01:40 +04:00
|
|
|
return HighlighterAndId("regionref(" + params[0] + "," + params[1] + "," + name + ")",
|
|
|
|
make_region_highlighter(std::move(begin), std::move(end), func));
|
|
|
|
}
|
|
|
|
catch (boost::regex_error& err)
|
|
|
|
{
|
|
|
|
throw runtime_error(String("regex error: ") + err.what());
|
|
|
|
}
|
2013-12-12 01:38:43 +04:00
|
|
|
}
|
2013-12-04 04:48:46 +04:00
|
|
|
|
2011-11-30 02:37:20 +04:00
|
|
|
void register_highlighters()
|
2011-11-08 18:28:01 +04:00
|
|
|
{
|
2011-11-30 02:37:20 +04:00
|
|
|
HighlighterRegistry& registry = HighlighterRegistry::instance();
|
2011-11-15 18:28:03 +04:00
|
|
|
|
2013-03-01 17:30:30 +04:00
|
|
|
registry.register_func("number_lines", SimpleHighlighterFactory<show_line_numbers>("number_lines"));
|
2012-11-23 16:40:20 +04:00
|
|
|
registry.register_func("regex", colorize_regex_factory);
|
2013-03-26 17:26:59 +04:00
|
|
|
registry.register_func("regex_option", highlight_regex_option_factory);
|
2012-12-31 17:28:32 +04:00
|
|
|
registry.register_func("search", highlight_search_factory);
|
2012-11-23 16:40:20 +04:00
|
|
|
registry.register_func("group", highlighter_group_factory);
|
2013-03-06 17:24:47 +04:00
|
|
|
registry.register_func("flag_lines", flag_lines_factory);
|
2013-12-04 02:03:10 +04:00
|
|
|
registry.register_func("ref", reference_factory);
|
2013-12-04 04:48:46 +04:00
|
|
|
registry.register_func("region", region_factory);
|
2013-12-12 01:38:43 +04:00
|
|
|
registry.register_func("region_ref", region_ref_factory);
|
2011-11-08 18:28:01 +04:00
|
|
|
}
|
|
|
|
|
2011-09-30 23:16:23 +04:00
|
|
|
}
|