-
Notifications
You must be signed in to change notification settings - Fork 206
[StickyScrolling] Introduce enhancement point #2756
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
[StickyScrolling] Introduce enhancement point #2756
Conversation
@@ -15,7 +15,8 @@ Export-Package: | |||
org.eclipse.ui.internal.editors.text.codemining.annotation;x-internal:=true, | |||
org.eclipse.ui.internal.texteditor;x-internal:=true, | |||
org.eclipse.ui.internal.texteditor.stickyscroll;x-internal:=true, | |||
org.eclipse.ui.texteditor | |||
org.eclipse.ui.texteditor, | |||
org.eclipse.ui.texteditor.stickyscroll;x-internal:=true |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
so we would remove the "x-internal:=true" part to make this "real" API once we are confident enough?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, that would be the idea. But I'm not sure if this is the right approach or if this is a good idea.
Can this share a lot of code with the folding range? |
907344a
to
536aa91
Compare
I guess it would be possible to use folding annotations by default (if present, otherwise use indentation as done currently) and still allow overriding the sticky scrolling functionality? |
@mickaelistria: We would like to finish this early when master opens up again. |
In order to implement editor/language specific sticky lines provider, a new extension point is introduced.
b5eec35
to
e5662e3
Compare
No updates or comments for a long time. So we will merge this change if there are no concerns in the next days/weeks as there is now also a JDT implementation: eclipse-jdt/eclipse.jdt.ui#1851 Need to check if a isEnabled() method needs to be added |
In order to implement editor/language specific sticky lines provider, a new extension point is introduced.
See issues:
The idea is that the package of the extension point is internal in the first place.
If both implementation works as expected, the API is most probably stable and we can change to package of the extension point to public usage.