[mping]

Datagrip looks ugly on my gnome3 with 4k and 2.0 scaling. Fonts are way small. Also, it's a bit on the heavy side.