Skip to content
This repository has been archived by the owner on May 21, 2019. It is now read-only.

Changed the macOS ⌘ symbol to 'Ctrl+' on non-darwin platforms. #1140

Closed
wants to merge 1 commit into from

Conversation

christianwico
Copy link
Contributor

Revisions to the Tab Component to change the ⌘ into Ctrl+ if the platform is not darwin (macOS/Mac OS X).

(I'd recommend for someone with a Mac to first test if ⌘ instead appears if upterm is ran on a Mac. I "peasant-tested" this by switching the if shorthand (TabComponent.tsx, line 48) between win32 and darwin. It seems to be working.

@christianwico christianwico mentioned this pull request Jul 28, 2017
"resolved": "https://registry.npmjs.org/chalk/-/chalk-2.0.1.tgz",
"integrity": "sha512-Mp+FXEI+FrwY/XYV45b2YD3E8i3HwnEAoFcM0qlZzq/RZ9RwWitt2Y/c7cqRAz70U7hfekqx6qNYthuKFO6K0g==",
"dev": true,
"req
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think you should introduce package-lock.json in an unrelevant PR. That should be the decision properly discussed with maintainer (probably in a new issue).

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Heck. I accidentally used the -a upon commit. I didn't notice. Lemme fix it.

@christianwico
Copy link
Contributor Author

Closing this PR in favor of #1141.

@christianwico christianwico deleted the tab-logo-fix branch July 28, 2017 05:00
@ForNeVeR
Copy link
Contributor

ForNeVeR commented Jul 28, 2017

@christianwico just a small friendly GitHub tip: you don't need to create a new PR if you want to replace the contents of a previous one.

You could modify your commit with --amend and --force-push the new content to the same PR branch, and the PR will be completely replaced then.

@christianwico
Copy link
Contributor Author

@ForNeVeR eheh. My apologies. I'm new to this GitHub culture. I'll remember next time.

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