manual/include/separate-range.html

11 lines
387 B
HTML
Raw Normal View History

2014-02-18 14:12:28 -05:00
<p>
A final new editing feature is an operation in the context menu of a
range labelled <kbd class="menu">Separate Regions Under Range</kbd>.
This splits any selected regions that are covered by the range at both
ends of the range (or just one, if the range only covers part of the
region). This makes it easy to generate regions that correspond
2014-02-18 14:12:28 -05:00
precisely to a range.
</p>