| commit | 63dce3011fb85bc3922cf655e59e49c3f559cf6a | [log] [tgz] |
|---|---|---|
| author | Anton Tarasov <anton.tarasov@jetbrains.com> | Tue Jul 25 16:11:08 2017 +0300 |
| committer | Anton Tarasov <anton.tarasov@jetbrains.com> | Tue Jul 25 16:11:57 2017 +0300 |
| tree | 5db8e71aaf658e907a0d661ef4bf6b3451adc1a5 | |
| parent | 2c79ff38f487a19ee73a84529615e2b3f3207059 [diff] |
JRE-431 [windows] Scale the title of toplevel in per-monitor-dpi mode