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

➡️ The string-based API and the TTY backend should expand horizontal tabs U+0009 to spaces #66

Closed
favonia opened this issue Sep 24, 2023 · 2 comments
Closed

➡️ The string-based API and the TTY backend should expand horizontal tabs U+0009 to spaces #66

favonia opened this issue Sep 24, 2023 · 2 comments
Labels
enhancement New feature or request tty
Milestone
far away

Comments

@favonia
Copy link
Contributor

favonia commented Sep 24, 2023 •
edited

We would like to print Python and Go code!
@favonia favonia changed the title ➡️ Handle tabs ➡️ Handle tabs in both the strings taken by the API and the end user code Sep 24, 2023
@favonia favonia added this to the far away milestone Sep 24, 2023
@favonia favonia changed the title ➡️ Handle tabs in both the strings taken by the API and the end user code ➡️ Handle horizontal tabs U+0009 in both the strings taken by the API and the end user code Sep 24, 2023
@favonia favonia changed the title ➡️ Handle horizontal tabs U+0009 in both the strings taken by the API and the end user code ➡️ Handle horizontal tabs U+0009 in both the string API and the end user code Sep 24, 2023
@favonia favonia changed the title ➡️ Handle horizontal tabs U+0009 in both the string API and the end user code ➡️ The string-based API and the TTY backend should print horizontal tabs U+0009 as spaces Sep 25, 2023
@favonia
Copy link
Contributor Author

favonia commented Sep 25, 2023

Current proposal: all string-based API and the TTY backend takes an optional argument tab_size:int (whose default is 8) @mmcqd

@favonia favonia changed the title ➡️ The string-based API and the TTY backend should print horizontal tabs U+0009 as spaces ➡️ The string-based API and the TTY backend should expand horizontal tabs U+0009 to spaces Sep 25, 2023
@favonia favonia mentioned this issue Sep 25, 2023
Closed
@favonia favonia added the enhancement New feature or request label Sep 25, 2023
@favonia
Copy link
Contributor Author

favonia commented Sep 27, 2023

Closed by 9ef07f6.

@favonia favonia closed this as completed Sep 27, 2023
@favonia favonia added the tty label Oct 6, 2023
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 tty
Projects
None yet
Milestone
far away
Development

No branches or pull requests
1 participant
@favonia