Closed chuckfossen closed 10 months ago
Call get_jump_history_for_view(view).push_selection(view) so jump_back works.
Signed-off-by: Chuck Fossen chuckf@cray.com
This is an ST3 core issue. It does no longer happen with ST4.
Call get_jump_history_for_view(view).push_selection(view) so jump_back works.
Signed-off-by: Chuck Fossen chuckf@cray.com