Skip to content
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

Geojson: Erweiterung der TID #205

Open
olivergrimm opened this issue May 7, 2024 · 0 comments
Open

Geojson: Erweiterung der TID #205

olivergrimm opened this issue May 7, 2024 · 0 comments
Labels
enhancement New feature or request Erweiterte Logausgabe Feedback aus Testphase der erweiterten Logausgabe

Comments

@olivergrimm
Copy link
Contributor

Feedback von C.Jenal zur erweiterten Logausgabe:
Das GeoJson finde ich aber super. Dort sind alle relevanten Informationen drin und lokalisiert. Einzig die Ergänzung der xtf_id würde ich mir noch wünschen. Die Info zu «Zeilennummer» finde ich nicht nützlich zumal diese ja nicht unbedingt gleich bleibt, wenn man z.B. im Editor den Zeilenumbruch einschaltet zur besseren Lesbarkeit.
@olivergrimm olivergrimm added enhancement New feature or request Erweiterte Logausgabe Feedback aus Testphase der erweiterten Logausgabe labels May 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request Erweiterte Logausgabe Feedback aus Testphase der erweiterten Logausgabe
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@olivergrimm