Must be called after the formatting context has been used in a formatting process.
881882883884885886887888889890891
setRedraw(true); } restoreSelection(); if (context != null) context.dispose(); } return; } default: super.doOperation(operation);
10081009101010111012101310141015101610171018
10061007100810091010101110121013101410151016