synchronized void flushOperations(RTEditText editor){
  Stack<Operation> undoStack=getUndoStack(editor);
  Stack<Operation> redoStack=getRedoStack(editor);
  undoStack.clear();
  redoStack.clear();
}

synchronized void flushOperations ( RTEditText editor ) { Stack < Operation > undoStack = getUndoStack ( editor ) ; Stack < Operation > redoStack = getRedoStack ( editor ) ; undoStack . clear ( ) ; redoStack . clear ( ) ; }
flush all operations for a specific rich text editor ( method unused at the moment )
