fortressia
/
echidna
1
1
Fork 0
Code Issues 15 Pull Requests 2 Projects Releases Wiki Activity

feat: enable GtkSourceView line numbers and line marks #22

Closed
fortressia wants to merge 1 commits from feat/editor-gutter into main
pull from: feat/editor-gutter
merge into: fortressia:main
Conversation 3 Commits 1 Files Changed -
fortressia commented 2021-12-17 02:25:08 +00:00 (Migrated from gitlab.com)

Description

Currently, Echidna does not show the editor's line numbers and line marks.

Necessity

This is pretty much a de-facto requirement for a proper code editor, or even just a text editor.

Implementation

Enable the GtkSourceView.show-line-marks and GtkSourceView.show-line-numbers

Additional Notes and Information

N/A

## Description Currently, Echidna does not show the editor's line numbers and line marks. ## Necessity This is pretty much a de-facto requirement for a proper code editor, or even just a text editor. ## Implementation Enable the [GtkSourceView.show-line-marks](https://gnome.pages.gitlab.gnome.org/gtksourceview/gtksourceview5/property.View.show-line-marks.html) and [GtkSourceView.show-line-numbers](https://gnome.pages.gitlab.gnome.org/gtksourceview/gtksourceview5/property.View.show-line-numbers.html) ## Additional Notes and Information N/A
fortressia commented 2021-12-17 02:25:09 +00:00 (Migrated from gitlab.com)

assigned to @fortressia

assigned to @fortressia
fortressia added 1 commit 2021-12-27 13:55:07 +00:00
fortressia closed this pull request 2021-12-27 13:55:18 +00:00
fortressia commented 2021-12-27 13:56:23 +00:00

Merged by fa128ca284. Shouldn't have updated the head branch, but accidentally did that.

Merged by fa128ca284. Shouldn't have updated the head branch, but accidentally did that.
fortressia commented 2021-12-27 13:56:52 +00:00

Idk why Gitea doesn't update PRs when the commits have been manually merged yet.

Idk why Gitea doesn't update PRs when the commits have been manually merged yet.

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug
   
documentation
   
duplicate
   
feat

Stands for 'feature', this label for new features.   
good first issue
   
help wanted
   
in-progress
   
invalid
   
question
   
refactor

This label for issues and MRs that rewrites code.   
wontfix
No Label
bug
documentation
duplicate
feat
good first issue
help wanted
in-progress
invalid
question
refactor
wontfix
Milestone
Clear milestone
No items
No Milestone
MVP
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: fortressia/echidna#22
There is no content yet.
Delete Branch "feat/editor-gutter"

Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?