Committed Oleg's patch to fix bug 259808: [navigation] Cursor position for closed editors
1 file changed