int newUndo = oldUndo;
int newRedo = oldRedo;
try {
- ISessionContext ctx = SimanticsUI.getSessionContext();
+ ISessionContext ctx = Simantics.getSessionContext();
if (DEBUG)
System.out.println("UndoPropertyTester: handle change, ctx=" + ctx);
if (ctx == null)