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.

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

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
Member

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
Labels
enhancement New feature or request Erweiterte Logausgabe Feedback aus Testphase der erweiterten Logausgabe
Projects
None yet
Development

No branches or pull requests

1 participant