New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Show entity ID besides name #172

Merged

jakobhellermann merged 1 commit into jakobhellermann:main from Azorlogh:show-entity-identifier-besides-name

Dec 27, 2023

Contributor

Azorlogh commented Dec 13, 2023

Fixes #161


          show entity identifier besides name

9d58724

jakobhellermann merged commit c05f19a into jakobhellermann:main

1 check passed

Owner

jakobhellermann commented Dec 27, 2023

Thanks

Azorlogh mentioned this pull request

Also show entity ID besides name in restricted world view #181

Merged

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet