This repository has been archived by the owner on May 10, 2024. It is now read-only.

High DPI support #1659

Open

brianewing opened this issue Oct 22, 2017 · 1 comment

Labels

priority: low status: requires clarification type: enhancement

brianewing commented Oct 22, 2017

Hey, what would be required to add high DPI support to the editor again?

I'd like to work on this

Collaborator

mattbenic commented Oct 23, 2017

I don't know offhand. If it's something you'd like to look into, you'd be more than welcome.

mattbenic added priority: low status: requires clarification type: enhancement labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.