Community
Participate
Working Groups
Ctrl+Home doesn't send notifications to ViewPortListeners Ctrl+End seems to send them.
> ViewPortListeners What's the fully qualified name and where is that class?
> What's the fully qualified name and where is that class? org.eclipse.jface.text.IViewportListener
This is invalid, the listener works well. It's only in case of code-mining it has issues, so let's close it and keep working on the specific bug 541415.