Skip to content
This repository has been archived by the owner on Dec 2, 2024. It is now read-only.

Right align line numbers #162

Merged
merged 1 commit into from
Feb 6, 2023
Merged

Conversation

MathemanFlo
Copy link
Contributor

@MathemanFlo MathemanFlo commented Feb 4, 2023

It's way more beautiful and consistent with all other editors like this:
grafik
grafik

Limitation: only for mono space fonts.

@luboslenco luboslenco merged commit 9e5cd68 into armory3d:main Feb 6, 2023
@luboslenco
Copy link
Member

Thanks!

@MathemanFlo MathemanFlo deleted the RightAlignNumbers branch February 6, 2023 15:23
@MathemanFlo
Copy link
Contributor Author

Thank's for merging so quickly

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants