comp.lang.ada
 help / color / mirror / Atom feed
From: Dennis Lee Bieber <wlfraed@ix.netcom.com>
Subject: Re: Gtk ada Sizes in pixels
Date: Fri, 03 Jul 2020 12:16:32 -0400	[thread overview]
Message-ID: <3nluff5oj4b96kfehgtod7rnr5su21mrp4@4ax.com> (raw)
In-Reply-To: 5eff0038$0$1479$e4fe514c@news.kpn.nl

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


-- 
	Wulfraed                 Dennis Lee Bieber         AF6VN
	wlfraed@ix.netcom.com    http://wlfraed.microdiversity.freeddns.org/

  reply	other threads:[~2020-07-03 16:16 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-07-02  5:13 Gtk ada Sizes in pixels ldries46
2020-07-02 14:23 ` Dennis Lee Bieber
2020-07-02 15:54   ` ldries46
2020-07-03  9:54     ` ldries46
2020-07-03 16:16       ` Dennis Lee Bieber [this message]
2020-07-05  7:24         ` ldries46
2020-09-03 10:31 ` riya patel
2020-09-19 14:09 ` erchetan33
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox