github/textmate
1
1
Fork 0
mirror of https://github.com/textmate/textmate.git synced 2026-04-28 03:00:34 -04:00
Code Issues Packages Projects Releases Wiki Activity

Update dyn.caret/selection scopes

Browse Source 
If there is one or more selections:

    dyn.selection

If there is a single zero-width selection:

    dyn.caret.mixed.columnar

If there are multiple carets and/or selections:

    dyn.caret.mixed

When there is only a single caret or a single continuous selection the left scope may contain:

    dyn.caret.begin.line
    dyn.caret.begin.document

Likewise the right scope may contain:

    dyn.caret.end.line
    dyn.caret.end.document
This commit is contained in:
Allan Odgaard
2012-09-30 15:12:27 +02:00
parent cba6b3275b
commit fa6659db28
1 changed files with 27 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

37
Frameworks/selection/src/selection.cc
View File

@@ -968,19 +968,36 @@ namespace ng
}
}
if(selection.size() > 1 || selection.size() == 1 && !selection.last().empty())
if(selection.size() > 1)
{
std::string scopeAtom = "dyn.selection";
res.left = res.left.append("dyn.caret.mixed");
res.right = res.right.append("dyn.caret.mixed");
}
else if(selection.last().columnar)
{
res.left = res.left.append("dyn.caret.mixed.columnar");
res.right = res.right.append("dyn.caret.mixed.columnar");
}
else
{
size_t const leftCaret = selection.last().min().index;
size_t const rightCaret = selection.last().max().index;
if(selection.size() > 1)
scopeAtom += ".discontinuous";
else if(selection.last().columnar)
scopeAtom += ".columnar";
else
scopeAtom += ".continuous";
if(leftCaret == 0)
res.left = res.left.append("dyn.caret.begin.document");
else if(leftCaret == buffer.begin(buffer.convert(leftCaret).line))
res.left = res.left.append("dyn.caret.begin.line");
res.left = res.left.append(scopeAtom);
res.right = res.right.append(scopeAtom);
if(rightCaret == buffer.size())
res.right = res.right.append("dyn.caret.end.document");
else if(rightCaret == buffer.eol(buffer.convert(rightCaret).line))
res.right = res.right.append("dyn.caret.end.line");
}
if(not_empty(buffer, selection))
{
res.left = res.left.append("dyn.selection");
res.right = res.right.append("dyn.selection");
}
return res;