add a "sticky scroll" feature #1364
Labels
enhancement
New feature or request
Comments
Christopher-Hermann
added a commit
to Christopher-Hermann/eclipse.platform.ui
that referenced
this issue
May 22, 2024
With this change, sticky scrolling is introduced into Eclipse text editors. Sticky scrolling will keep certain source code lines visible and in a fixed position on the screen as the user scrolls down the page. This technique improves user experience by keeping information within reach at all times. The feature can be enabled via the TextEditor settings. Provides feature for eclipse-platform#1719 and eclipse-jdt/eclipse.jdt.ui#1364
Christopher-Hermann
added a commit
to Christopher-Hermann/eclipse.platform.ui
that referenced
this issue
May 22, 2024
With this change, sticky scrolling is introduced into Eclipse text editors. Sticky scrolling will keep certain source code lines visible and in a fixed position on the screen as the user scrolls down the page. This technique improves user experience by keeping information within reach at all times. The feature can be enabled via the TextEditor settings. Provides feature for eclipse-platform#1719 and eclipse-jdt/eclipse.jdt.ui#1364
Christopher-Hermann
added a commit
to Christopher-Hermann/eclipse.platform.ui
that referenced
this issue
May 28, 2024
With this change, sticky scrolling is introduced into Eclipse text editors. Sticky scrolling will keep certain source code lines visible and in a fixed position on the screen as the user scrolls down the page. This technique improves user experience by keeping information within reach at all times. The feature can be enabled via the TextEditor settings. Provides feature for eclipse-platform#1719 and eclipse-jdt/eclipse.jdt.ui#1364
Christopher-Hermann
added a commit
to Christopher-Hermann/eclipse.platform.ui
that referenced
this issue
May 28, 2024
With this change, sticky scrolling is introduced into Eclipse text editors. Sticky scrolling will keep certain source code lines visible and in a fixed position on the screen as the user scrolls down the page. This technique improves user experience by keeping information within reach at all times. The feature can be enabled via the TextEditor settings. Provides feature for eclipse-platform#1719 and eclipse-jdt/eclipse.jdt.ui#1364
Christopher-Hermann
added a commit
to Christopher-Hermann/eclipse.platform.ui
that referenced
this issue
Jun 10, 2024
With this change, sticky scrolling is introduced into Eclipse text editors. Sticky scrolling will keep certain source code lines visible and in a fixed position on the screen as the user scrolls down the page. This technique improves user experience by keeping information within reach at all times. The feature can be enabled via the TextEditor settings. Provides feature for eclipse-platform#1719 and eclipse-jdt/eclipse.jdt.ui#1364
Christopher-Hermann
added a commit
to Christopher-Hermann/eclipse.platform.ui
that referenced
this issue
Jun 10, 2024
With this change, sticky scrolling is introduced into Eclipse text editors. Sticky scrolling will keep certain source code lines visible and in a fixed position on the screen as the user scrolls down the page. This technique improves user experience by keeping information within reach at all times. The feature can be enabled via the TextEditor settings. Provides feature for eclipse-platform#1719 and eclipse-jdt/eclipse.jdt.ui#1364
Christopher-Hermann
added a commit
to Christopher-Hermann/eclipse.platform.ui
that referenced
this issue
Jun 10, 2024
With this change, sticky scrolling is introduced into Eclipse text editors. Sticky scrolling will keep certain source code lines visible and in a fixed position on the screen as the user scrolls down the page. This technique improves user experience by keeping information within reach at all times. The feature can be enabled via the TextEditor settings. Provides feature for eclipse-platform#1719 and eclipse-jdt/eclipse.jdt.ui#1364
Christopher-Hermann
added a commit
to Christopher-Hermann/eclipse.platform.ui
that referenced
this issue
Jun 10, 2024
With this change, sticky scrolling is introduced into Eclipse text editors. Sticky scrolling will keep certain source code lines visible and in a fixed position on the screen as the user scrolls down the page. This technique improves user experience by keeping information within reach at all times. The feature can be enabled via the TextEditor settings. Provides feature for eclipse-platform#1719 and eclipse-jdt/eclipse.jdt.ui#1364
mickaelistria
pushed a commit
to eclipse-platform/eclipse.platform.ui
that referenced
this issue
Jun 10, 2024
With this change, sticky scrolling is introduced into Eclipse text editors. Sticky scrolling will keep certain source code lines visible and in a fixed position on the screen as the user scrolls down the page. This technique improves user experience by keeping information within reach at all times. The feature can be enabled via the TextEditor settings. Provides feature for #1719 and eclipse-jdt/eclipse.jdt.ui#1364
|
Implemented with eclipse-platform/eclipse.platform.ui#1719. Issue can be closed in my opinion. |
|
Thanks @Christopher-Hermann |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Monaco Editor added "sticky scroll" feature with v0.35.0 somewhere around February 2023 and thus it is supported in VS Code, Eclipse Theia and the web editor of e.g. GitHub.
This feature lets the current code section stick to the top of the editor when it scrolls out of the viewport so that current class and method (and I think I even saw loops/ifs/try blocks in some languages) are still visible to the user:
It would be nice to have this feaure also in the Eclipse Java editor.
Maybe this needs to be implemented in Eclipse Platform UI first. I saw that there already is an issue which somewhat requests this feature: eclipse-platform/eclipse.platform.ui#1719
The text was updated successfully, but these errors were encountered: