annotate src/toolcheck @ 33424:14cf0b014b99 v9.0.1970

patch 9.0.1970: win32: high-dpi support can be improved Commit: https://github.com/vim/vim/commit/7086b3e76a81cf87592077d54e0ef46a60006c2c Author: Ken Takata <kentkt@csc.jp> Date: Mon Oct 2 21:26:03 2023 +0200 patch 9.0.1970: win32: high-dpi support can be improved Problem: win32: high-dpi support can be improved Solution: implement WM_GETDPISCALEDSIZE win32: Better support of Per-Monitor V2 High DPI Implement WM_GETDPISCALEDSIZE. It is not so easy to calculate the new size without actually changing the size. So, this returns an approximate size. This doesn't work well when a bitmap font (e.g. FixedSys) is selected, but I think this is acceptable. closes: #11812 closes: #13252 Signed-off-by: Christian Brabandt <cb@256bit.org> Co-authored-by: Ken Takata <kentkt@csc.jp>
author Christian Brabandt <cb@256bit.org>
date Mon, 02 Oct 2023 21:30:05 +0200
parents 3fc0f57ecb91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 #!/bin/sh
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2 # toolcheck -- check for tools that have severe bugs. Good that all the buggy
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 # tools identify by version numbers. This is the spirit of GNU :-)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 #
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5 # 24.7.95 jw.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
6
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7 retval=0
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 reply="`sh -version -c exit 2>&1 < /dev/null`"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 case "$reply" in
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10 GNU*1.14.3*)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 echo "- sh is '$reply'";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
12 echo " CAUTION: This shell has a buggy 'trap' command.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
13 echo " The configure script may fail silently.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
14 retval=1;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
15 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
16 GNU*)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
17 echo "- sh is '$reply' - probably OK.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
18 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
19 *) ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
20 esac
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
21
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
22 reply="`sed --version 2>&1 < /dev/null`"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
23 case "$reply" in
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
24 GNU\ sed\ version\ 2.0[34])
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
25 echo "- sed is '$reply'";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
26 echo " CAUTION: This sed cannot configure screen properly."
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
27 retval=1;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
28 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
29 GNU\ sed\ version\ 2.05|GNU\ sed\ version\ 2.03\ kevin)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
30 echo "- sed is '$reply' - good.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
31 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
32 GNU*) echo "- sed is '$reply'.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
33 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
34 *) ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
35 esac
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
36 exit $retval