This is a complete overhaul of the way in which PragraphEditor handles selections. It implements a distinction between (logical) start and end of the selected area (aka region), called point and mark (terms borrowed from xemacs), in contrast to the geographical meaning they used to have. This allows you to shrink your selection by changing the direction of the movement while pressing shift. Note that this should also work with mouse selection.