search

dropbox / mypy-PyCharm-plugin

A simple plugin that allows running mypy from PyCharm and navigate between errors
Apache License 2.0
313 stars 14 forks source link

hdpi support #9

Closed gaborbernat closed 5 years ago

gaborbernat commented 6 years ago

On a 4k 15" the font is all messed up (really small).

image

PY-182.2574.7, JRE 1.8.0_152-release-1226-b7x64 JetBrains s.r.o, OS Linux(amd64) v4.16.11-1-ARCH unknown, screens 3840x2160

@ilevkivskyi

ilevkivskyi commented 6 years ago

Oh yes, this looks horrible, thanks for adding the screenshot!

g5becks commented 6 years ago

any updates on this issue ? the plugin is almost unusable on my system as well.

deepinscreenshot_sun-awt-x11-xframepeer_20180824063739

ilevkivskyi commented 6 years ago

any updates on this issue?

Unfortunately I didn't have time to work on this yet. Also, as usual, PRs are very welcome :-)

ilevkivskyi commented 5 years ago

@gaborbernat Could you please attach the PyCharm log? It is in Help -> Show Log in ... This will be very helpful to diagnose this.

gaborbernat commented 5 years ago

@ilevkivskyi I no longer can replicate this on my system.

insanitybit commented 4 years ago

This is happening on my intellij with the plugin installed. The text is extremely small.

Ubuntu 18.04 Screen resolution: 3840x2160 pixels (1016x572 millimeters)

ilevkivskyi commented 4 years ago

This is happening on my intellij with the plugin installed.

Hm, interesting. @msullivan is there any chance you can try reproducing this? IIRC you have Ubuntu 18.04 and a high resolution display.

ilevkivskyi commented 4 years ago

@insanitybit Btw, what is the IntelliJ/PyCharm version you are using? We recommend 2019+

insanitybit commented 4 years ago

I'm on 2019.2, Intellij Ultimate, and I've only just installed the plugin today (and restarted).

insanitybit commented 4 years ago

Screenshot from 2019-11-27 10-13-00

Here's a screenshot. A bit hard to tell from it just how small since it's blown up, but uh, imagine that's really really tiny.