@Override
public void execute(final jetbrains.mps.openapi.editor.EditorContext context) {
EditorComponent editorComponent = ((EditorComponent) context.getEditorComponent());
SelectionManager selectionManager = editorComponent.getSelectionManager();
Selection selection = selectionManager.getSelection();
if (selection instanceof SingularSelection) {
EditorCell selectedCell = ((SingularSelection) selection).getEditorCell();
SNode selectedNode = selectedCell.getSNode();
SNode topMostNodeInSingularContainment =
findTopMostNodeWithSingularContainment(selectedNode);
if (topMostNodeInSingularContainment != selectedNode) {
EditorCell nodeCell = editorComponent.findNodeCell(topMostNodeInSingularContainment);
if (nodeCell != null) {
editorComponent.pushSelection(nodeCell);
editorComponent.scrollToCell(nodeCell);
}
} else {
Selection newSelection =
selectionManager.createRangeSelection(selectedNode, selectedNode);
if (newSelection instanceof NodeRangeSelection && selectedCell.isBigCell()) {
newSelection = ((NodeRangeSelection) newSelection).enlargeSelection(myUp);
}
if (newSelection != null) {
selectionManager.pushSelection(newSelection);
newSelection.ensureVisible();
}
}
} else if (selection instanceof NodeRangeSelection) {
Selection newSelection = ((NodeRangeSelection) selection).enlargeSelection(myUp);
if (newSelection != null) {
selectionManager.pushSelection(newSelection);
newSelection.ensureVisible();
}
}
}
public void execute(jetbrains.mps.openapi.editor.EditorContext context) {
SelectionManager selectionManager =
((EditorComponent) context.getEditorComponent()).getSelectionManager();
EditorCell cell = findTarget(selectionManager);
selectionManager.pushSelection(selectionManager.createSelection(cell));
if (cell instanceof EditorCell_Label) {
((EditorCell_Label) cell).selectWordOrAll();
}
}
public void execute(jetbrains.mps.openapi.editor.EditorContext context) {
SelectionManager selectionManager =
((EditorComponent) context.getEditorComponent()).getSelectionManager();
SingularSelection selection = (SingularSelection) selectionManager.getSelection();
if (!expandSelection(selection) && selectionManager.getSelectionStackSize() > 1) {
selectionManager.popSelection();
return;
}
EditorCell selected = selection.getEditorCell();
EditorCell nextLeaf = getNextLeaf(selected);
EditorCell cellToSelect = getCommonSelectableAncestor(selected, nextLeaf);
Selection newSelection = selectionManager.createSelection(cellToSelect);
if (newSelection instanceof SingularSelection) {
((SingularSelection) newSelection)
.setSideSelectDirection(
mySide == CellSide.LEFT ? SideSelectDirection.LEFT : SideSelectDirection.RIGHT);
}
selectionManager.pushSelection(newSelection);
}