comp.lang.ada
 help / color / mirror / Atom feed
From: ldries46 <bertus.dries@planet.nl>
Subject: Re: Gtk ada Sizes in pixels
Date: Sun, 5 Jul 2020 09:24:17 +0200	[thread overview]
Message-ID: <5f018021$0$1228$e4fe514c@news.kpn.nl> (raw)
In-Reply-To: <3nluff5oj4b96kfehgtod7rnr5su21mrp4@4ax.com>

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.

  reply	other threads:[~2020-07-05  7:24 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
2020-07-05  7:24         ` ldries46 [this message]
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