Skip to content

/ servo

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

Jump to bottom

Rename glutin port? #26236

Closed
atouchet opened this issue Apr 20, 2020 · 3 comments
Closed

Rename glutin port? #26236

atouchet opened this issue Apr 20, 2020 · 3 comments
Labels
A-documentation

Comments

@atouchet
Copy link
Contributor

@atouchet atouchet commented Apr 20, 2020

Glutin was removed in #25853 but it is still used for the name of the port. Presumably this should be changed to something more accurate now?
@jdm jdm added the A-documentation label Apr 20, 2020
@SimonSapin
Copy link
Member

@SimonSapin SimonSapin commented Apr 20, 2020

Winit port is probably the appropriate name now.
@Darkspirit
Copy link
Contributor

@Darkspirit Darkspirit commented Apr 21, 2020 •
edited

Does tinyfiledialogs work on Android? Otherwise I'd suggest (Edit: OS-agnostic) "desktop".
@paulrouget
Copy link
Contributor

@paulrouget paulrouget commented May 18, 2020

I'd rather go for winit.

The UWP port works on Desktop for example, but it doesn't use winit.
@atouchet atouchet mentioned this issue May 28, 2020
Merged
0 of 5 tasks complete
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-documentation
Projects
None yet
Milestone
No milestone
Linked pull requests

Successfully merging a pull request may close this issue.

Rename glutin port to winit
5 participants
@jdm @SimonSapin @paulrouget @Darkspirit @atouchet
You can’t perform that action at this time.