void (@NotNull XSourceKind navigationSourceKind) { // allowed only for the active session if (myDebuggerManager.getCurrentSession() == this) { boolean isTopFrame = isTopFrameSelected(); XSourcePosition mainSourcePosition = getFrameSourcePosition(myCurrentStackFrame, XSourceKind.MAIN); XSourcePosition alternativeSourcePosition = getFrameSourcePosition(myCurrentStackFrame, XSourceKind.ALTERNATIVE); myExecutionPointManager.setExecutionPoint(mainSourcePosition, alternativeSourcePosition, isTopFrame, navigationSourceKind); updateExecutionPointGutterIconRenderer(); } }