-
Notifications
You must be signed in to change notification settings - Fork 8.1k
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
Select and copy TAB characters without expanding to spaces #7810
Comments
Yeah, I think this is totally worthwhile! It's also going to be hard. Our buffer needs a deep rethink on how it stores a great number of things. 😄 |
Ah ok
|
If the TAB characters are part of a rectangular selection, and whitespace trimming is enabled (#9706), I think they should be trimmed just like space characters. terminal/src/buffer/out/textBuffer.cpp Lines 1678 to 1679 in 2219014
|
As a bioinformatics researcher, can select and copy TAB characters without expanding to spaces is the only reason that keep me using xshell while not win terminal. Please give this feature to your great terminal. |
Any update on this? |
As a workaround I started to use for Ubuntu staff |
Description of the new feature/enhancement
After outputting a text file to the terminal, I want to copy part of it to the clipboard without expanding TAB characters to spaces. So that I can then paste it to a different file in which TAB characters are required.
Proposed technical implementation details (optional)
Remember which character cells were output as spaces and which ones were skipped over by TAB characters. When selecting text with the mouse, select entire TAB characters instead of individual character cells. Copy the TAB characters to the clipboard.
The macOS Terminal app has this feature. It does not preserve TAB characters in the following situations:
I did not test whether the macOS Terminal app preserves TAB characters if they are moved using SCROLL LEFT, SCROLL RIGHT, or INSERT CHARACTER control functions, or if tabulation stops are changed. I think it would be OK to expand TAB characters to spaces in those situations.
Related:
The text was updated successfully, but these errors were encountered: