Other in Development Tools
Better tracking of the context-history.
Whenever any kind of jump is performed, be it from navigation, from quickopen, or whathever, then a history-entry is inserted for the start- and for the end-position of the jump.
This makes the history actually useful and reliable, because it always brings you to your last position in the other document.
This is especially useful in the "browsing" mode, since it brings the convenience of web-browsing.