Overview
| Artifact ID: | 5f3d7fefca6d9e75c48226c539b7c6f1ce668fcb |
|---|---|
| Ticket: | 0c7dac6fccdf5eb668b2073c6cc7777712944c29
[tk scaling] on undroidwish gives different results than on wish, on the same machine |
| User & Date: | chw 2019-05-17 17:43:53 |
Changes
- icomment:
There are some hard coded steps in which the window manager decorations are adapted to the dpi ratio of the screen. This was needed especially on Android devices which have a great bandwidth of dpis (140 ... 550). There's certainly room for improvement but I have no time for it. If you'd like to contribute a patch, I'll gladly integrate it.
- login: "chw"
- mimetype: "text/x-fossil-plain"
- severity changed to: "Minor"