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

The Punchcard is dead --- Long live the Codepad. #87

Closed
eketahuna opened this issue Jan 12, 2023 · 10 comments
Closed

The Punchcard is dead --- Long live the Codepad. #87

eketahuna opened this issue Jan 12, 2023 · 10 comments

Comments

@eketahuna
Copy link

Could user preferences include an option for a selectable (or full) edit line width?
Don't ask why I thought of punchcards!

@coder0107git
Copy link

Could you please explain more? I don't understand what you mean.

@coder0107git
Copy link

@eketahuna Are you meaning font size, number of characters before wrapping the line, or space between the lines?

@eketahuna
Copy link
Author

eketahuna commented Mar 2, 2023 via email

@coder0107git
Copy link

By the original Caret do you mean this? Now I usually just use vscode.dev(the official version of vscode online) unless I need a text editor quickly without wanting to wait for vscode to load.

@eketahuna
Copy link
Author

eketahuna commented Mar 3, 2023 via email

@coder0107git
Copy link

Could this be closed now since it sounds like the original feature request isn't wanted anymore?

@eketahuna
Copy link
Author

eketahuna commented Mar 3, 2023 via email

@coder0107git
Copy link

Thanks! Unfortunately I don't have permission in this repo to close issues. :)

@eketahuna
Copy link
Author

eketahuna commented Mar 4, 2023 via email

@coder0107git
Copy link

Thanks!

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

No branches or pull requests

2 participants