2011-09-21 16:37:09 +02:00
|
|
|
#include "selectors.hh"
|
|
|
|
|
2012-08-29 21:49:36 +02:00
|
|
|
#include "string.hh"
|
2012-10-08 19:12:09 +02:00
|
|
|
#include "utf8_iterator.hh"
|
|
|
|
|
2011-09-21 21:09:49 +02:00
|
|
|
#include <algorithm>
|
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
#include <boost/optional.hpp>
|
|
|
|
|
2011-09-21 16:37:09 +02:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2012-10-13 18:31:29 +02:00
|
|
|
using Utf8Iterator = utf8::utf8_iterator<BufferIterator, utf8::InvalidBytePolicy::Pass>;
|
2012-10-08 19:12:09 +02:00
|
|
|
|
2012-03-07 20:20:32 +01:00
|
|
|
namespace
|
|
|
|
{
|
|
|
|
|
|
|
|
template<bool punctuation_is_word = false>
|
2012-10-08 19:12:09 +02:00
|
|
|
bool is_word(Codepoint c)
|
2011-09-21 16:37:09 +02:00
|
|
|
{
|
2012-09-30 16:23:18 +02:00
|
|
|
return Kakoune::is_word(c);
|
2011-09-21 16:37:09 +02:00
|
|
|
}
|
|
|
|
|
2012-03-07 20:20:32 +01:00
|
|
|
template<>
|
2012-10-08 19:12:09 +02:00
|
|
|
bool is_word<true>(Codepoint c)
|
2012-03-07 20:20:32 +01:00
|
|
|
{
|
|
|
|
return !is_blank(c) and !is_eol(c);
|
|
|
|
}
|
|
|
|
|
2012-10-08 19:12:09 +02:00
|
|
|
static bool is_punctuation(Codepoint c)
|
2011-09-22 16:00:31 +02:00
|
|
|
{
|
2011-09-26 01:50:13 +02:00
|
|
|
return not (is_word(c) or is_blank(c) or is_eol(c));
|
2011-09-22 16:00:31 +02:00
|
|
|
}
|
|
|
|
|
2011-09-23 11:17:19 +02:00
|
|
|
enum class CharCategories
|
|
|
|
{
|
|
|
|
Blank,
|
2011-09-26 01:50:13 +02:00
|
|
|
EndOfLine,
|
2011-09-23 11:17:19 +02:00
|
|
|
Word,
|
|
|
|
Punctuation,
|
|
|
|
};
|
|
|
|
|
2012-03-07 20:20:32 +01:00
|
|
|
template<bool punctuation_is_word = false>
|
2012-10-08 19:12:09 +02:00
|
|
|
CharCategories categorize(Codepoint c)
|
2011-09-23 11:17:19 +02:00
|
|
|
{
|
|
|
|
if (is_word(c))
|
|
|
|
return CharCategories::Word;
|
2011-09-26 01:50:13 +02:00
|
|
|
if (is_eol(c))
|
|
|
|
return CharCategories::EndOfLine;
|
2011-09-23 11:17:19 +02:00
|
|
|
if (is_blank(c))
|
|
|
|
return CharCategories::Blank;
|
2012-03-07 20:20:32 +01:00
|
|
|
return punctuation_is_word ? CharCategories::Word
|
|
|
|
: CharCategories::Punctuation;
|
2011-09-23 11:17:19 +02:00
|
|
|
}
|
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
template<typename Iterator, typename EndIterator, typename T>
|
|
|
|
void skip_while(Iterator& it, const EndIterator& end, T condition)
|
2011-09-22 16:00:31 +02:00
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
while (it != end and condition(*it))
|
2011-09-22 16:00:31 +02:00
|
|
|
++it;
|
|
|
|
}
|
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
template<typename Iterator, typename BeginIterator, typename T>
|
|
|
|
void skip_while_reverse(Iterator& it, const BeginIterator& begin, T condition)
|
2011-09-22 16:00:31 +02:00
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
while (it != begin and condition(*it))
|
2011-09-22 16:00:31 +02:00
|
|
|
--it;
|
2012-10-08 19:12:09 +02:00
|
|
|
}
|
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
Range utf8_range(const Utf8Iterator& first, const Utf8Iterator& last)
|
2012-10-08 19:12:09 +02:00
|
|
|
{
|
2013-06-05 19:19:35 +02:00
|
|
|
return {first.base().coord(), last.base().coord()};
|
2011-09-22 16:00:31 +02:00
|
|
|
}
|
|
|
|
|
2012-03-07 20:20:32 +01:00
|
|
|
}
|
|
|
|
|
2012-05-03 09:25:13 +02:00
|
|
|
typedef boost::regex_iterator<BufferIterator> RegexIterator;
|
|
|
|
|
2012-03-07 20:20:32 +01:00
|
|
|
template<bool punctuation_is_word>
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to_next_word(const Buffer& buffer, const Selection& selection)
|
2011-09-21 16:37:09 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.last());
|
2013-06-04 18:53:56 +02:00
|
|
|
if (begin+1 == buffer.end())
|
2013-06-04 14:04:52 +02:00
|
|
|
return selection;
|
2012-03-07 20:20:32 +01:00
|
|
|
if (categorize<punctuation_is_word>(*begin) !=
|
|
|
|
categorize<punctuation_is_word>(*(begin+1)))
|
2011-09-23 11:17:19 +02:00
|
|
|
++begin;
|
2011-09-26 01:50:13 +02:00
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(begin, buffer.end(), is_eol);
|
|
|
|
if (begin == buffer.end())
|
2013-06-04 14:04:52 +02:00
|
|
|
return selection;
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator end = begin+1;
|
2011-09-23 11:17:19 +02:00
|
|
|
|
2012-03-07 20:20:32 +01:00
|
|
|
if (not punctuation_is_word and is_punctuation(*begin))
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(end, buffer.end(), is_punctuation);
|
2012-03-07 20:20:32 +01:00
|
|
|
else if (is_word<punctuation_is_word>(*begin))
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(end, buffer.end(), is_word<punctuation_is_word>);
|
2011-09-23 11:17:19 +02:00
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(end, buffer.end(), is_blank);
|
2011-09-21 16:37:09 +02:00
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, end-1);
|
2011-09-21 16:37:09 +02:00
|
|
|
}
|
2013-06-01 14:22:57 +02:00
|
|
|
template Selection select_to_next_word<false>(const Buffer&, const Selection&);
|
|
|
|
template Selection select_to_next_word<true>(const Buffer&, const Selection&);
|
2011-09-21 16:37:09 +02:00
|
|
|
|
2012-03-07 20:20:32 +01:00
|
|
|
template<bool punctuation_is_word>
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to_next_word_end(const Buffer& buffer, const Selection& selection)
|
2011-09-21 16:37:09 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.last());
|
2013-06-04 18:53:56 +02:00
|
|
|
if (begin+1 == buffer.end())
|
2013-06-04 14:04:52 +02:00
|
|
|
return selection;
|
2012-03-07 20:20:32 +01:00
|
|
|
if (categorize<punctuation_is_word>(*begin) !=
|
|
|
|
categorize<punctuation_is_word>(*(begin+1)))
|
2011-09-23 11:17:19 +02:00
|
|
|
++begin;
|
2011-09-21 16:37:09 +02:00
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(begin, buffer.end(), is_eol);
|
|
|
|
if (begin == buffer.end())
|
2013-06-04 14:04:52 +02:00
|
|
|
return selection;
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator end = begin;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(end, buffer.end(), is_blank);
|
2011-09-22 16:00:31 +02:00
|
|
|
|
2012-03-07 20:20:32 +01:00
|
|
|
if (not punctuation_is_word and is_punctuation(*end))
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(end, buffer.end(), is_punctuation);
|
2012-03-07 20:20:32 +01:00
|
|
|
else if (is_word<punctuation_is_word>(*end))
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(end, buffer.end(), is_word<punctuation_is_word>);
|
2011-09-21 16:37:09 +02:00
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, end-1);
|
2011-09-21 16:37:09 +02:00
|
|
|
}
|
2013-06-01 14:22:57 +02:00
|
|
|
template Selection select_to_next_word_end<false>(const Buffer&, const Selection&);
|
|
|
|
template Selection select_to_next_word_end<true>(const Buffer&, const Selection&);
|
2011-09-21 16:37:09 +02:00
|
|
|
|
2012-03-07 20:20:32 +01:00
|
|
|
template<bool punctuation_is_word>
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to_previous_word(const Buffer& buffer, const Selection& selection)
|
2011-09-21 16:37:09 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.last());
|
2013-06-04 18:53:56 +02:00
|
|
|
if (begin+1 == buffer.end())
|
2013-06-04 14:04:52 +02:00
|
|
|
return selection;
|
2012-03-07 20:20:32 +01:00
|
|
|
if (categorize<punctuation_is_word>(*begin) !=
|
|
|
|
categorize<punctuation_is_word>(*(begin-1)))
|
2011-09-23 11:17:19 +02:00
|
|
|
--begin;
|
2011-09-21 16:37:09 +02:00
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(begin, buffer.begin(), is_eol);
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator end = begin;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(end, buffer.begin(), is_blank);
|
2011-09-23 11:17:19 +02:00
|
|
|
|
2011-11-24 19:46:35 +01:00
|
|
|
bool with_end = false;
|
2012-03-07 20:20:32 +01:00
|
|
|
if (not punctuation_is_word and is_punctuation(*end))
|
2013-01-03 14:30:14 +01:00
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(end, buffer.begin(), is_punctuation);
|
2013-01-03 14:30:14 +01:00
|
|
|
with_end = is_punctuation(*end);
|
|
|
|
}
|
2012-03-07 20:20:32 +01:00
|
|
|
else if (is_word<punctuation_is_word>(*end))
|
2013-01-03 14:30:14 +01:00
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(end, buffer.begin(), is_word<punctuation_is_word>);
|
2013-01-03 14:30:14 +01:00
|
|
|
with_end = is_word<punctuation_is_word>(*end);
|
|
|
|
}
|
2011-10-25 20:46:14 +02:00
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, with_end ? end : end+1);
|
2011-10-25 20:46:14 +02:00
|
|
|
}
|
2013-06-01 14:22:57 +02:00
|
|
|
template Selection select_to_previous_word<false>(const Buffer&, const Selection&);
|
|
|
|
template Selection select_to_previous_word<true>(const Buffer&, const Selection&);
|
2011-10-25 20:46:14 +02:00
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_line(const Buffer& buffer, const Selection& selection)
|
2011-09-21 16:37:09 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator first = buffer.iterator_at(selection.last());
|
2013-06-04 18:53:56 +02:00
|
|
|
if (*first == '\n' and first + 1 != buffer.end())
|
2011-10-27 20:57:31 +02:00
|
|
|
++first;
|
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
while (first != buffer.begin() and *(first - 1) != '\n')
|
2011-09-23 11:17:19 +02:00
|
|
|
--first;
|
|
|
|
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator last = first;
|
2013-06-04 18:53:56 +02:00
|
|
|
while (last + 1 != buffer.end() and *last != '\n')
|
2011-09-23 11:17:19 +02:00
|
|
|
++last;
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(first, last);
|
2011-09-21 16:37:09 +02:00
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_matching(const Buffer& buffer, const Selection& selection)
|
2011-09-21 21:09:49 +02:00
|
|
|
{
|
2012-10-11 01:17:29 +02:00
|
|
|
std::vector<Codepoint> matching_pairs = { '(', ')', '{', '}', '[', ']', '<', '>' };
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator it = buffer.iterator_at(selection.last());
|
2012-10-11 01:17:29 +02:00
|
|
|
std::vector<Codepoint>::iterator match = matching_pairs.end();
|
2011-09-21 21:09:49 +02:00
|
|
|
while (not is_eol(*it))
|
|
|
|
{
|
|
|
|
match = std::find(matching_pairs.begin(), matching_pairs.end(), *it);
|
|
|
|
if (match != matching_pairs.end())
|
|
|
|
break;
|
|
|
|
++it;
|
|
|
|
}
|
|
|
|
if (match == matching_pairs.end())
|
2012-02-07 15:26:51 +01:00
|
|
|
return selection;
|
2011-09-21 21:09:49 +02:00
|
|
|
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator begin = it;
|
2011-09-21 21:09:49 +02:00
|
|
|
|
|
|
|
if (((match - matching_pairs.begin()) % 2) == 0)
|
|
|
|
{
|
|
|
|
int level = 0;
|
2012-10-11 01:17:29 +02:00
|
|
|
const Codepoint opening = *match;
|
|
|
|
const Codepoint closing = *(match+1);
|
2013-06-04 18:53:56 +02:00
|
|
|
while (it != buffer.end())
|
2011-09-21 21:09:49 +02:00
|
|
|
{
|
|
|
|
if (*it == opening)
|
|
|
|
++level;
|
|
|
|
else if (*it == closing and --level == 0)
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, it);
|
2011-09-21 21:09:49 +02:00
|
|
|
++it;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
int level = 0;
|
2012-10-11 01:17:29 +02:00
|
|
|
const Codepoint opening = *(match-1);
|
|
|
|
const Codepoint closing = *match;
|
2012-12-27 13:41:45 +01:00
|
|
|
while (true)
|
2011-09-21 21:09:49 +02:00
|
|
|
{
|
|
|
|
if (*it == closing)
|
|
|
|
++level;
|
|
|
|
else if (*it == opening and --level == 0)
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, it);
|
2013-06-04 18:53:56 +02:00
|
|
|
if (it == buffer.begin())
|
2012-12-27 13:41:45 +01:00
|
|
|
break;
|
2011-09-21 21:09:49 +02:00
|
|
|
--it;
|
|
|
|
}
|
|
|
|
}
|
2012-02-07 15:26:51 +01:00
|
|
|
return selection;
|
2011-09-21 21:09:49 +02:00
|
|
|
}
|
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
// c++14 will add std::optional, so we use boost::optional until then
|
|
|
|
using boost::optional;
|
2013-06-04 18:53:56 +02:00
|
|
|
static optional<Range> find_surrounding(const Buffer& buffer,
|
2013-07-26 00:44:00 +02:00
|
|
|
BufferCoord coord,
|
|
|
|
CodepointPair matching,
|
2013-05-15 14:24:09 +02:00
|
|
|
ObjectFlags flags)
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
const bool to_begin = flags & ObjectFlags::ToBegin;
|
|
|
|
const bool to_end = flags & ObjectFlags::ToEnd;
|
2013-02-27 19:08:13 +01:00
|
|
|
const bool nestable = matching.first != matching.second;
|
2013-06-04 18:53:56 +02:00
|
|
|
auto pos = buffer.iterator_at(coord);
|
2013-04-22 14:18:49 +02:00
|
|
|
Utf8Iterator first = pos;
|
2013-01-07 18:53:27 +01:00
|
|
|
if (to_begin)
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2013-01-07 18:53:27 +01:00
|
|
|
int level = 0;
|
2013-06-04 18:53:56 +02:00
|
|
|
while (first != buffer.begin())
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2013-04-22 14:18:49 +02:00
|
|
|
if (nestable and first != pos and *first == matching.second)
|
2013-01-07 18:53:27 +01:00
|
|
|
++level;
|
|
|
|
else if (*first == matching.first)
|
|
|
|
{
|
|
|
|
if (level == 0)
|
|
|
|
break;
|
|
|
|
else
|
|
|
|
--level;
|
|
|
|
}
|
|
|
|
--first;
|
2012-01-04 15:18:08 +01:00
|
|
|
}
|
2013-01-07 18:53:27 +01:00
|
|
|
if (level != 0 or *first != matching.first)
|
2013-04-22 14:18:49 +02:00
|
|
|
return optional<Range>{};
|
2012-01-04 15:18:08 +01:00
|
|
|
}
|
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
Utf8Iterator last = pos;
|
2013-01-07 18:53:27 +01:00
|
|
|
if (to_end)
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2013-01-07 18:53:27 +01:00
|
|
|
int level = 0;
|
|
|
|
last = first + 1;
|
2013-06-04 18:53:56 +02:00
|
|
|
while (last != buffer.end())
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2013-02-27 19:08:13 +01:00
|
|
|
if (nestable and *last == matching.first)
|
2013-01-07 18:53:27 +01:00
|
|
|
++level;
|
|
|
|
else if (*last == matching.second)
|
|
|
|
{
|
|
|
|
if (level == 0)
|
|
|
|
break;
|
|
|
|
else
|
|
|
|
--level;
|
|
|
|
}
|
|
|
|
++last;
|
2012-01-04 15:18:08 +01:00
|
|
|
}
|
2013-01-07 18:53:27 +01:00
|
|
|
if (level != 0 or *last != matching.second)
|
2013-04-22 14:18:49 +02:00
|
|
|
return optional<Range>{};
|
2012-01-04 15:18:08 +01:00
|
|
|
}
|
|
|
|
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::Inner)
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2013-01-07 18:53:27 +01:00
|
|
|
if (to_begin)
|
|
|
|
++first;
|
|
|
|
if (to_end and first != last)
|
2012-01-04 15:18:08 +01:00
|
|
|
--last;
|
|
|
|
}
|
2013-04-22 14:18:49 +02:00
|
|
|
return to_end ? utf8_range(first, last) : utf8_range(last, first);
|
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_surrounding(const Buffer& buffer, const Selection& selection,
|
2013-07-26 00:44:00 +02:00
|
|
|
CodepointPair matching,
|
2013-05-15 14:24:09 +02:00
|
|
|
ObjectFlags flags)
|
2013-04-22 14:18:49 +02:00
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
auto res = find_surrounding(buffer, selection.last(), matching, flags);
|
2013-04-22 14:18:49 +02:00
|
|
|
if (not res)
|
|
|
|
return selection;
|
|
|
|
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags == (ObjectFlags::ToBegin | ObjectFlags::ToEnd) and
|
2013-06-03 18:58:09 +02:00
|
|
|
matching.first != matching.second and not buffer.is_end(res->last()) and
|
2013-04-22 14:18:49 +02:00
|
|
|
(*res == selection or Range{res->last(), res->first()} == selection))
|
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
res = find_surrounding(buffer, buffer.next(res->last()), matching, flags);
|
2013-04-22 14:18:49 +02:00
|
|
|
return res ? Selection{*res} : selection;
|
|
|
|
}
|
|
|
|
return *res;
|
2012-01-04 15:18:08 +01:00
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to(const Buffer& buffer, const Selection& selection,
|
2012-11-30 18:32:49 +01:00
|
|
|
Codepoint c, int count, bool inclusive)
|
2011-09-22 16:35:28 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.last());
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator end = begin;
|
2011-09-27 16:27:48 +02:00
|
|
|
do
|
|
|
|
{
|
|
|
|
++end;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(end, buffer.end(), [c](Codepoint cur) { return cur != c; });
|
|
|
|
if (end == buffer.end())
|
2012-02-07 15:26:51 +01:00
|
|
|
return selection;
|
2011-09-27 16:27:48 +02:00
|
|
|
}
|
|
|
|
while (--count > 0);
|
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, inclusive ? end : end-1);
|
2011-09-22 16:35:28 +02:00
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to_reverse(const Buffer& buffer, const Selection& selection,
|
2012-11-30 18:32:49 +01:00
|
|
|
Codepoint c, int count, bool inclusive)
|
2011-10-03 16:29:44 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.last());
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator end = begin;
|
2011-10-03 16:29:44 +02:00
|
|
|
do
|
|
|
|
{
|
|
|
|
--end;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(end, buffer.begin(), [c](Codepoint cur) { return cur != c; });
|
|
|
|
if (end == buffer.begin())
|
2012-02-07 15:26:51 +01:00
|
|
|
return selection;
|
2011-10-03 16:29:44 +02:00
|
|
|
}
|
|
|
|
while (--count > 0);
|
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, inclusive ? end : end+1);
|
2011-10-03 16:29:44 +02:00
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to_eol(const Buffer& buffer, const Selection& selection)
|
2011-10-10 16:24:17 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.last());
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator end = begin + 1;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(end, buffer.end(), [](Codepoint cur) { return not is_eol(cur); });
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, end-1);
|
2011-10-10 16:24:17 +02:00
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to_eol_reverse(const Buffer& buffer, const Selection& selection)
|
2011-10-10 16:24:17 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.last());
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator end = begin - 1;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(end, buffer.begin(), [](Codepoint cur) { return not is_eol(cur); });
|
|
|
|
return utf8_range(begin, end == buffer.begin() ? end : end+1);
|
2011-10-10 16:24:17 +02:00
|
|
|
}
|
|
|
|
|
2012-03-12 15:23:30 +01:00
|
|
|
template<bool punctuation_is_word>
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_whole_word(const Buffer& buffer, const Selection& selection, ObjectFlags flags)
|
2012-03-12 15:23:30 +01:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
Utf8Iterator first = buffer.iterator_at(selection.last());
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator last = first;
|
2013-05-15 14:24:09 +02:00
|
|
|
if (is_word<punctuation_is_word>(*first))
|
2012-03-12 15:23:30 +01:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToBegin)
|
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(first, buffer.begin(), is_word<punctuation_is_word>);
|
2013-05-15 14:24:09 +02:00
|
|
|
if (not is_word<punctuation_is_word>(*first))
|
|
|
|
++first;
|
|
|
|
}
|
|
|
|
if (flags & ObjectFlags::ToEnd)
|
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(last, buffer.end(), is_word<punctuation_is_word>);
|
2013-05-15 14:24:09 +02:00
|
|
|
if (not (flags & ObjectFlags::Inner))
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(last, buffer.end(), is_blank);
|
2013-05-15 14:24:09 +02:00
|
|
|
--last;
|
|
|
|
}
|
2012-03-12 15:23:30 +01:00
|
|
|
}
|
2013-05-15 14:24:09 +02:00
|
|
|
else if (not (flags & ObjectFlags::Inner))
|
2012-03-12 15:23:30 +01:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToBegin)
|
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(first, buffer.begin(), is_blank);
|
2013-05-15 14:24:09 +02:00
|
|
|
if (not is_word<punctuation_is_word>(*first))
|
|
|
|
return selection;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(first, buffer.begin(), is_word<punctuation_is_word>);
|
2013-05-15 14:24:09 +02:00
|
|
|
if (not is_word<punctuation_is_word>(*first))
|
|
|
|
++first;
|
|
|
|
}
|
|
|
|
if (flags & ObjectFlags::ToEnd)
|
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(last, buffer.end(), is_blank);
|
2013-05-15 14:24:09 +02:00
|
|
|
--last;
|
|
|
|
}
|
2012-03-12 15:23:30 +01:00
|
|
|
}
|
2013-05-15 14:24:09 +02:00
|
|
|
return (flags & ObjectFlags::ToEnd) ? utf8_range(first, last)
|
|
|
|
: utf8_range(last, first);
|
2012-03-12 15:23:30 +01:00
|
|
|
}
|
2013-06-01 14:22:57 +02:00
|
|
|
template Selection select_whole_word<false>(const Buffer&, const Selection&, ObjectFlags);
|
|
|
|
template Selection select_whole_word<true>(const Buffer&, const Selection&, ObjectFlags);
|
2012-03-12 15:23:30 +01:00
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_whole_sentence(const Buffer& buffer, const Selection& selection, ObjectFlags flags)
|
2013-04-30 14:21:48 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
BufferIterator first = buffer.iterator_at(selection.last());
|
2013-05-15 14:24:09 +02:00
|
|
|
BufferIterator last = first;
|
2013-04-30 14:21:48 +02:00
|
|
|
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToBegin)
|
2013-04-30 14:21:48 +02:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
bool saw_non_blank = false;
|
2013-06-04 18:53:56 +02:00
|
|
|
while (first != buffer.begin())
|
2013-04-30 14:21:48 +02:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
char cur = *first;
|
|
|
|
char prev = *(first-1);
|
|
|
|
if (not is_blank(cur))
|
|
|
|
saw_non_blank = true;
|
|
|
|
if (is_eol(prev) and is_eol(cur))
|
|
|
|
{
|
|
|
|
++first;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
else if (prev == '.' or prev == ';' or prev == '!' or prev == '?')
|
|
|
|
{
|
|
|
|
if (saw_non_blank)
|
|
|
|
break;
|
|
|
|
else if (flags & ObjectFlags::ToEnd)
|
|
|
|
last = first-1;
|
|
|
|
}
|
|
|
|
--first;
|
2013-04-30 14:21:48 +02:00
|
|
|
}
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(first, buffer.end(), is_blank);
|
2013-04-30 14:21:48 +02:00
|
|
|
}
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToEnd)
|
2013-04-30 14:21:48 +02:00
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
while (last != buffer.end())
|
2013-05-15 14:24:09 +02:00
|
|
|
{
|
|
|
|
char cur = *last;
|
|
|
|
if (cur == '.' or cur == ';' or cur == '!' or cur == '?' or
|
2013-06-04 18:53:56 +02:00
|
|
|
(is_eol(cur) and (last+1 == buffer.end() or is_eol(*(last+1)))))
|
2013-05-15 14:24:09 +02:00
|
|
|
break;
|
|
|
|
++last;
|
|
|
|
}
|
2013-06-04 18:53:56 +02:00
|
|
|
if (not (flags & ObjectFlags::Inner) and last != buffer.end())
|
2013-05-15 14:24:09 +02:00
|
|
|
{
|
|
|
|
++last;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(last, buffer.end(), is_blank);
|
2013-05-15 14:24:09 +02:00
|
|
|
--last;
|
|
|
|
}
|
2013-04-30 14:21:48 +02:00
|
|
|
}
|
2013-06-04 19:23:11 +02:00
|
|
|
return (flags & ObjectFlags::ToEnd) ? Selection{first.coord(), last.coord()}
|
|
|
|
: Selection{last.coord(), first.coord()};
|
2013-04-30 14:21:48 +02:00
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_whole_paragraph(const Buffer& buffer, const Selection& selection, ObjectFlags flags)
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
BufferIterator first = buffer.iterator_at(selection.last());
|
2013-05-15 14:24:09 +02:00
|
|
|
BufferIterator last = first;
|
2013-04-30 14:29:18 +02:00
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
if (flags & ObjectFlags::ToBegin and first != buffer.begin())
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(first, buffer.begin(), is_eol);
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToEnd)
|
|
|
|
last = first;
|
2013-06-04 18:53:56 +02:00
|
|
|
while (first != buffer.begin())
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
char cur = *first;
|
|
|
|
char prev = *(first-1);
|
|
|
|
if (is_eol(prev) and is_eol(cur))
|
|
|
|
{
|
|
|
|
++first;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
--first;
|
2013-04-30 14:29:18 +02:00
|
|
|
}
|
|
|
|
}
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToEnd)
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
while (last != buffer.end())
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
char cur = *last;
|
|
|
|
char prev = *(last-1);
|
|
|
|
if (is_eol(cur) and is_eol(prev))
|
|
|
|
{
|
|
|
|
if (not (flags & ObjectFlags::Inner))
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(last, buffer.end(), is_eol);
|
2013-05-15 14:24:09 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
++last;
|
2013-04-30 14:29:18 +02:00
|
|
|
}
|
2013-06-03 14:27:51 +02:00
|
|
|
--last;
|
2013-04-30 14:29:18 +02:00
|
|
|
}
|
2013-06-04 19:23:11 +02:00
|
|
|
return (flags & ObjectFlags::ToEnd) ? Selection{first.coord(), last.coord()}
|
|
|
|
: Selection{last.coord(), first.coord()};
|
2013-04-30 14:29:18 +02:00
|
|
|
}
|
|
|
|
|
2013-07-22 19:58:16 +02:00
|
|
|
static CharCount get_indent(const String& str, int tabstop)
|
|
|
|
{
|
|
|
|
CharCount indent = 0;
|
|
|
|
for (auto& c : str)
|
|
|
|
{
|
|
|
|
if (c == ' ')
|
|
|
|
++indent;
|
|
|
|
else if (c =='\t')
|
|
|
|
indent = (indent / tabstop + 1) * tabstop;
|
|
|
|
else
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
return indent;
|
|
|
|
}
|
|
|
|
|
|
|
|
Selection select_whole_indent(const Buffer& buffer, const Selection& selection, ObjectFlags flags)
|
|
|
|
{
|
|
|
|
int tabstop = buffer.options()["tabstop"].get<int>();
|
|
|
|
LineCount line = selection.last().line;
|
|
|
|
auto indent = get_indent(buffer[line], tabstop);
|
|
|
|
|
|
|
|
LineCount begin_line = line - 1;
|
|
|
|
if (flags & ObjectFlags::ToBegin)
|
|
|
|
{
|
|
|
|
while (begin_line >= 0 and (buffer[begin_line] == "\n" or get_indent(buffer[begin_line], tabstop) >= indent))
|
|
|
|
--begin_line;
|
|
|
|
}
|
|
|
|
++begin_line;
|
|
|
|
LineCount end_line = line + 1;
|
|
|
|
if (flags & ObjectFlags::ToEnd)
|
|
|
|
{
|
|
|
|
LineCount end = buffer.line_count();
|
|
|
|
while (end_line < end and (buffer[end_line] == "\n" or get_indent(buffer[end_line], tabstop) >= indent))
|
|
|
|
++end_line;
|
|
|
|
}
|
|
|
|
--end_line;
|
|
|
|
return Selection{begin_line, {end_line, buffer[end_line].length() - 1}};
|
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_whole_lines(const Buffer& buffer, const Selection& selection)
|
2011-11-21 19:53:22 +01:00
|
|
|
{
|
2013-01-03 14:30:14 +01:00
|
|
|
// no need to be utf8 aware for is_eol as we only use \n as line seperator
|
2013-06-03 18:58:09 +02:00
|
|
|
BufferIterator first = buffer.iterator_at(selection.first());
|
|
|
|
BufferIterator last = buffer.iterator_at(selection.last());
|
2013-01-03 14:30:14 +01:00
|
|
|
BufferIterator& to_line_start = first <= last ? first : last;
|
|
|
|
BufferIterator& to_line_end = first <= last ? last : first;
|
2011-11-21 19:53:22 +01:00
|
|
|
|
2013-01-03 14:30:14 +01:00
|
|
|
--to_line_start;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while_reverse(to_line_start, buffer.begin(), [](char cur) { return not is_eol(cur); });
|
2013-01-03 14:30:14 +01:00
|
|
|
if (is_eol(*to_line_start))
|
|
|
|
++to_line_start;
|
2011-11-22 19:58:05 +01:00
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(to_line_end, buffer.end(), [](char cur) { return not is_eol(cur); });
|
|
|
|
if (to_line_end == buffer.end())
|
2013-05-23 19:38:51 +02:00
|
|
|
--to_line_end;
|
2011-11-21 19:53:22 +01:00
|
|
|
|
2013-06-04 19:23:11 +02:00
|
|
|
return Selection(first.coord(), last.coord());
|
2012-02-07 15:26:51 +01:00
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection trim_partial_lines(const Buffer& buffer, const Selection& selection)
|
2013-04-16 14:30:11 +02:00
|
|
|
{
|
|
|
|
// same as select_whole_lines
|
2013-06-03 18:58:09 +02:00
|
|
|
BufferIterator first = buffer.iterator_at(selection.first());
|
|
|
|
BufferIterator last = buffer.iterator_at(selection.last());
|
2013-04-16 14:30:11 +02:00
|
|
|
BufferIterator& to_line_start = first <= last ? first : last;
|
|
|
|
BufferIterator& to_line_end = first <= last ? last : first;
|
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
while (to_line_start != buffer.begin() and *(to_line_start-1) != '\n')
|
2013-04-16 14:30:11 +02:00
|
|
|
++to_line_start;
|
|
|
|
while (*(to_line_end+1) != '\n' and to_line_end != to_line_start)
|
|
|
|
--to_line_end;
|
|
|
|
|
2013-06-04 19:23:11 +02:00
|
|
|
return Selection(first.coord(), last.coord());
|
2013-04-16 14:30:11 +02:00
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_whole_buffer(const Buffer& buffer, const Selection&)
|
2012-02-07 15:26:51 +01:00
|
|
|
{
|
2013-06-04 19:23:11 +02:00
|
|
|
return Selection({0,0}, buffer.back_coord());
|
2011-11-21 19:53:22 +01:00
|
|
|
}
|
|
|
|
|
2013-01-08 18:46:45 +01:00
|
|
|
using MatchResults = boost::match_results<BufferIterator>;
|
|
|
|
|
|
|
|
static bool find_last_match(BufferIterator begin, const BufferIterator& end,
|
|
|
|
MatchResults& res, const Regex& regex)
|
|
|
|
{
|
|
|
|
MatchResults matches;
|
|
|
|
while (boost::regex_search(begin, end, matches, regex))
|
|
|
|
{
|
|
|
|
if (begin == matches[0].second)
|
|
|
|
break;
|
|
|
|
begin = matches[0].second;
|
|
|
|
res.swap(matches);
|
|
|
|
}
|
|
|
|
return not res.empty();
|
|
|
|
}
|
|
|
|
|
2013-07-02 14:55:34 +02:00
|
|
|
template<Direction direction>
|
2013-06-01 14:22:57 +02:00
|
|
|
bool find_match_in_buffer(const Buffer& buffer, const BufferIterator pos,
|
|
|
|
MatchResults& matches, const Regex& ex)
|
2013-01-08 18:46:45 +01:00
|
|
|
{
|
2013-07-02 14:55:34 +02:00
|
|
|
if (direction == Forward)
|
2013-06-01 14:22:57 +02:00
|
|
|
return (boost::regex_search(pos, buffer.end(), matches, ex) or
|
|
|
|
boost::regex_search(buffer.begin(), pos, matches, ex));
|
2013-01-08 18:46:45 +01:00
|
|
|
else
|
2013-06-01 14:22:57 +02:00
|
|
|
return (find_last_match(buffer.begin(), pos, matches, ex) or
|
|
|
|
find_last_match(pos, buffer.end(), matches, ex));
|
2013-01-08 18:46:45 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2013-07-02 14:55:34 +02:00
|
|
|
template<Direction direction>
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_next_match(const Buffer& buffer, const Selection& selection, const Regex& regex)
|
2011-11-21 20:08:51 +01:00
|
|
|
{
|
2013-04-05 19:28:08 +02:00
|
|
|
// regex matching do not use Utf8Iterator as boost::regex handle utf8
|
|
|
|
// decoding itself
|
2013-06-03 18:58:09 +02:00
|
|
|
BufferIterator begin = buffer.iterator_at(selection.last());
|
2013-04-05 19:28:08 +02:00
|
|
|
BufferIterator end = begin;
|
|
|
|
CaptureList captures;
|
2012-09-12 19:09:10 +02:00
|
|
|
|
2013-04-05 19:28:08 +02:00
|
|
|
MatchResults matches;
|
2012-03-04 21:11:22 +01:00
|
|
|
|
2013-07-02 14:55:34 +02:00
|
|
|
if (find_match_in_buffer<direction>(buffer, utf8::next(begin), matches, regex))
|
2011-11-21 20:08:51 +01:00
|
|
|
{
|
2013-04-05 19:28:08 +02:00
|
|
|
begin = matches[0].first;
|
|
|
|
end = matches[0].second;
|
|
|
|
for (auto& match : matches)
|
|
|
|
captures.push_back(String(match.first, match.second));
|
2011-11-21 20:08:51 +01:00
|
|
|
}
|
2013-04-05 19:28:08 +02:00
|
|
|
else
|
|
|
|
throw runtime_error("'" + regex.str() + "': no matches found");
|
|
|
|
|
|
|
|
if (begin == end)
|
|
|
|
++end;
|
|
|
|
|
|
|
|
end = utf8::previous(end);
|
2013-07-02 14:55:34 +02:00
|
|
|
if (direction == Backward)
|
2013-04-05 19:28:08 +02:00
|
|
|
std::swap(begin, end);
|
2013-06-04 19:23:11 +02:00
|
|
|
return Selection{begin.coord(), end.coord(), std::move(captures)};
|
2011-11-21 20:08:51 +01:00
|
|
|
}
|
2013-07-02 14:55:34 +02:00
|
|
|
template Selection select_next_match<Forward>(const Buffer&, const Selection&, const Regex&);
|
|
|
|
template Selection select_next_match<Backward>(const Buffer&, const Selection&, const Regex&);
|
2011-11-21 20:08:51 +01:00
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
SelectionList select_all_matches(const Buffer& buffer, const Selection& selection, const Regex& regex)
|
2011-11-21 20:08:51 +01:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
auto sel_end = utf8::next(buffer.iterator_at(selection.max()));
|
|
|
|
RegexIterator re_it(buffer.iterator_at(selection.min()), sel_end, regex);
|
2013-04-05 19:28:08 +02:00
|
|
|
RegexIterator re_end;
|
2011-11-21 20:08:51 +01:00
|
|
|
|
2013-04-05 19:28:08 +02:00
|
|
|
SelectionList result;
|
|
|
|
for (; re_it != re_end; ++re_it)
|
|
|
|
{
|
|
|
|
BufferIterator begin = (*re_it)[0].first;
|
|
|
|
BufferIterator end = (*re_it)[0].second;
|
2012-03-04 21:11:22 +01:00
|
|
|
|
2013-05-24 14:25:50 +02:00
|
|
|
if (begin == sel_end)
|
2013-04-05 19:28:08 +02:00
|
|
|
continue;
|
2012-09-19 14:04:09 +02:00
|
|
|
|
2013-04-05 19:28:08 +02:00
|
|
|
CaptureList captures;
|
|
|
|
for (auto& match : *re_it)
|
|
|
|
captures.push_back(String(match.first, match.second));
|
2011-11-21 20:30:44 +01:00
|
|
|
|
2013-06-04 19:23:11 +02:00
|
|
|
result.push_back(Selection(begin.coord(), (begin == end ? end : utf8::previous(end)).coord(),
|
2013-04-05 19:28:08 +02:00
|
|
|
std::move(captures)));
|
2011-11-21 20:30:44 +01:00
|
|
|
}
|
2013-04-05 19:28:08 +02:00
|
|
|
return result;
|
2011-11-21 20:30:44 +01:00
|
|
|
}
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
SelectionList split_selection(const Buffer& buffer, const Selection& selection,
|
2013-04-05 19:28:08 +02:00
|
|
|
const Regex& regex)
|
2011-11-21 20:30:44 +01:00
|
|
|
{
|
2013-06-03 18:58:09 +02:00
|
|
|
auto begin = buffer.iterator_at(selection.min());
|
|
|
|
auto sel_end = utf8::next(buffer.iterator_at(selection.max()));
|
|
|
|
RegexIterator re_it(begin, sel_end, regex, boost::regex_constants::match_nosubs);
|
2013-04-05 19:28:08 +02:00
|
|
|
RegexIterator re_end;
|
2011-11-21 20:30:44 +01:00
|
|
|
|
2013-04-05 19:28:08 +02:00
|
|
|
SelectionList result;
|
|
|
|
for (; re_it != re_end; ++re_it)
|
2012-03-04 21:11:22 +01:00
|
|
|
{
|
2013-04-05 19:28:08 +02:00
|
|
|
BufferIterator end = (*re_it)[0].first;
|
|
|
|
|
2013-06-04 19:23:11 +02:00
|
|
|
result.push_back(Selection(begin.coord(), (begin == end) ? end.coord() : utf8::previous(end).coord()));
|
2013-04-05 19:28:08 +02:00
|
|
|
begin = (*re_it)[0].second;
|
2011-11-21 20:08:51 +01:00
|
|
|
}
|
2013-06-04 19:23:11 +02:00
|
|
|
result.push_back(Selection(begin.coord(), selection.max()));
|
2013-04-05 19:28:08 +02:00
|
|
|
return result;
|
2011-11-21 20:08:51 +01:00
|
|
|
}
|
|
|
|
|
2011-09-21 16:37:09 +02:00
|
|
|
}
|