Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

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.

Sign up for GitHub

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

Jump to bottom

Just an Idea: Implement sourceDateMargin in source code #2438

Closed
CavasoftIta opened this issue Dec 31, 2024 · 1 comment
Closed

Just an Idea: Implement sourceDateMargin in source code #2438

CavasoftIta opened this issue Dec 31, 2024 · 1 comment
Labels
discussion For questions

Comments

@CavasoftIta
Copy link

It would be useful to have the possibility of having in the source of a source member the date of the row displayed at the right end of the row itself
@CavasoftIta CavasoftIta added the idea Feature suggestion label Dec 31, 2024
@sebjulliand
Copy link
Collaborator

Like the Source Dates in Gutter setting? (it's on the left though)
https://codefori.github.io/docs/developing/sourcedates/#source-date-settings

@worksofliam worksofliam added discussion For questions and removed idea Feature suggestion labels Jan 18, 2025
@codefori codefori locked and limited conversation to collaborators Jan 18, 2025
@worksofliam worksofliam converted this issue into discussion #2471 Jan 18, 2025

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Assignees
No one assigned
Labels
discussion For questions
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@worksofliam @sebjulliand @CavasoftIta