diff options
| author | Jeff M. Hubbard <jeffmhubbard@users.noreply.github.com> | 2021-06-04 15:49:35 -0500 |
|---|---|---|
| committer | Sebastian Sellmeier <mail@sebastian-sellmeier.de> | 2021-07-21 01:03:46 +0200 |
| commit | 66d975915922c462c86cce37818a4e4a567f9d26 (patch) | |
| tree | 8611e81b53ca621d40c58f4b0a80e02d1377e98d /.github/workflows/shellcheck.yml | |
| parent | c025de7b8f2707b553e0049408a96ce22aecf328 (diff) | |
Get DPI from xrdb, fixes #236 (#237)
`multi-monitor` branch did not check for user set DPI in Xresources.
It does now. Also, rather than parsing .Xresources file, we instead
query xrdb to get the current value.
Diffstat (limited to '.github/workflows/shellcheck.yml')
0 files changed, 0 insertions, 0 deletions