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!news.uzoreto.com!tr3.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Fri, 03 Jul 2020 11:16:32 -0500 From: Dennis Lee Bieber Newsgroups: comp.lang.ada Subject: Re: Gtk ada Sizes in pixels Date: Fri, 03 Jul 2020 12:16:32 -0400 Organization: IISS Elusive Unicorn Message-ID: <3nluff5oj4b96kfehgtod7rnr5su21mrp4@4ax.com> References: <5efd6ceb$0$1439$e4fe514c@news.kpn.nl> <5efe032c$0$1456$e4fe514c@news.kpn.nl> <5eff0038$0$1479$e4fe514c@news.kpn.nl> User-Agent: ForteAgent/8.00.32.1272 X-No-Archive: YES MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-cnAlSmlPLYy5LykrCU/OYTpbPmtnzukM7KP4Cex/GgwEcj8tx4EjnErKchjmZRl4ALOrI3+VV5OE/Ha!bWFcOm5nCVsiI+s7bnZKtxKFfbYgFFA2FlCJSKoJCuaGy+CCOOEEc29ddNZonfilEfsPGWmd X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2218 Xref: reader01.eternal-september.org comp.lang.ada:59328 List-Id: On Fri, 3 Jul 2020 11:54:00 +0200, ldries46 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 -- Wulfraed Dennis Lee Bieber AF6VN wlfraed@ix.netcom.com http://wlfraed.microdiversity.freeddns.org/