When the definitions window is printed, tacked arrows are removed from the output. It would be really nice to have these be preserved so you could get vectorized captures of the (much prettier now!) arrows.
This is also a little inconsistent with how the printer captures other elements of the state of the window. For example if you are hovering over a identifier binder or occurrence, it will print the green oval highlights, but not the arrows between the ovals.
Screenshot:
vs. printed:
Here's an example of the hover issue. Screenshot:
vs printed:
When the definitions window is printed, tacked arrows are removed from the output. It would be really nice to have these be preserved so you could get vectorized captures of the (much prettier now!) arrows.
This is also a little inconsistent with how the printer captures other elements of the state of the window. For example if you are hovering over a identifier binder or occurrence, it will print the green oval highlights, but not the arrows between the ovals.
Screenshot:
vs. printed:
Here's an example of the hover issue. Screenshot:
vs printed: