Skip to content
GitLab
Explore
Sign in
GNOME
gtk
Merge requests
Open
1
Merged
13
Closed
3
All
17
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
GtkTooltip: Take in account that the retrieved cursor size is not DPI-scaled
!5073
· created
Oct 03, 2022
by
Luca Bacci
gtk-3-24
GTK3
GtkTooltip
Scaling/HiDPI
Closed
1
1
updated
Oct 03, 2022
[gtk3] gdkdevice-wayland: Update pointer scale on tablet tool proximity events
!583
· created
Feb 15, 2019
by
Marco Trevisan
gtk-3-24
GTK3
Scaling/HiDPI
Wayland
Closed
1
updated
Jan 29, 2020
gtksocket: Adjust X sizes by scale-factor
!165
· created
May 25, 2018
by
Jason Zaman
gtk-3-24
GTK3
Scaling/HiDPI
X11
Closed
3
updated
May 30, 2018