From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!feeder1.feed.usenet.farm!feed.usenet.farm!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!nzpost2.xs4all.net!news.kpn.nl!not-for-mail
Subject: Re: Gtk ada Sizes in pixels
Newsgroups: comp.lang.ada
References: <5efd6ceb$0$1439$e4fe514c@news.kpn.nl>
 <isprff1a47it1dvd0u22chb50vcr8ddtsg@4ax.com>
 <5efe032c$0$1456$e4fe514c@news.kpn.nl> <5eff0038$0$1479$e4fe514c@news.kpn.nl>
 <3nluff5oj4b96kfehgtod7rnr5su21mrp4@4ax.com>
From: ldries46 <bertus.dries@planet.nl>
Date: Sun, 5 Jul 2020 09:24:17 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101
 Thunderbird/68.10.0
MIME-Version: 1.0
In-Reply-To: <3nluff5oj4b96kfehgtod7rnr5su21mrp4@4ax.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Language: nl
Message-ID: <5f018021$0$1228$e4fe514c@news.kpn.nl>
NNTP-Posting-Host: 16ba53a8.news.kpn.nl
X-Trace: G=wgKJ0cSr,C=U2FsdGVkX193KCCQEZQyhBl18xWqjqHSmMSdyCOr124oJ1jyjK3pOPa/wAq2ofPBVqF3ZoxJ4WHUOMweBAT+dylMlzy8vRgvXb1r0XoGl/E=
X-Complaints-To: abuse@kpn.nl
Xref: reader01.eternal-september.org comp.lang.ada:59340
List-Id: <comp.lang.ada>

Op 3-7-2020 om 18:16 schreef Dennis Lee Bieber:
> On Fri, 3 Jul 2020 11:54:00 +0200, ldries46 <bertus.dries@planet.nl>
> declaimed the following:
>
>> I think I found the latest trouble, now the solution for that
>> Gtk uses the screen size that is set in windows and not the real screen
>> size. For readability on my screen I just set 175%. Now when I used 2000
>> pixels the Gtk interpreted that as 3500 pixels . Maybe Gdk.Monitor could
>> solve that but I cannot reach that (yet?).
> 	Quick Google does reveal
> https://developer.gnome.org/gdk3/stable/GdkMonitor.html#gdk-monitor-get-scale-factor
> https://developer.gnome.org/gdk3/stable/gdk3-Windows.html#gdk-window-get-scale-factor
> BUT... It's an integer... So obviously "1.75" can't be represented in it.
> And the second description seems to imply that it goes the other
> direction...
>
> https://wiki.gnome.org/HowDoI/HiDpi/
> https://github.com/gnunn1/tilix/issues/894
>
>
Thanks for your support. but indeed it it an integer. At the moment I 
solve this by Setting the value as an environment value.