Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@jeremypw
Copy link
Collaborator

@jeremypw jeremypw commented Dec 4, 2021

Fixes #1018

A new gutter on the left is added. Clicking on this gutter places a TextMark at the beginning of the corresponding line, indicated by an icon in the gutter. Clicking the icon removes the mark.

Actions to move back and forward between these marks are introduced linked to hotkeys and context menu options.

Potential improvement: Make optional by adding a setting or converting to a plugin (if possible). Left until review.

APPEARANCE
Edit-point-history

@jeremypw jeremypw mentioned this pull request Dec 8, 2021
Jeremy Wootten added 3 commits January 14, 2025 15:10
# Conflicts:
#	po/de.po
#	po/en_GB.po
#	po/uk.po
#	src/MainWindow.vala
#	src/Widgets/SourceView.vala
@jeremypw jeremypw marked this pull request as ready for review January 21, 2025 11:07
@jeremypw jeremypw added the Priority: Wishlist An enhancement or feature request label Jan 24, 2025
Copy link
Collaborator

@leonardo-lemos leonardo-lemos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice, works as expected and code looks good.

@leonardo-lemos leonardo-lemos merged commit 0810fd8 into master May 3, 2025
6 checks passed
@leonardo-lemos leonardo-lemos deleted the edit-point-history branch May 3, 2025 19:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Priority: Wishlist An enhancement or feature request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Introduce shortcuts to find previous/next edit point.

4 participants