ModelQualifier oldPosition = haltedPosition;
haltedPosition = null;
// Invalidate the current position (will clear the current position marker)
// This will also enforce a rebuild of the content of a tag.
fireEvent(new QualifierEvent(DebuggerPlugin.this, "modeler.view.invalidate", oldPosition));
}
// Update the position
haltedPosition = newPos;
// Activate or deactivator for the decorator for the current position
if (haltedPosition != null)
{
activateStepDecorator();
}
else
{
deactivateStepDecorator();
}
if (newPos != null)
{
// First, make sure the process the new current position refers to is loaded
ModelQualifier processQualifier = new ModelQualifier(newPos);
processQualifier.setItemType(ItemTypes.PROCESS);
processQualifier.setObjectPath(null);
fireEvent(new OpenEvent(DebuggerPlugin.this, "open.modeler", processQualifier));
// Invalidate the new current position (will display the current position marker)
// This will also enforce a rebuild of the content of a tag.
fireEvent(new QualifierEvent(DebuggerPlugin.this, "modeler.view.invalidate", newPos));
// Move the object into view; add 100 px offset to prevent the object from hanging in the corner
scrollIntoView(newPos, true);
}