public interface DocumentObserver
void
addOperation(Operation o)
void addOperation(Operation o)
Copyright © 2008–2016 JBoss, a division of Red Hat. All rights reserved.