Daniel van Vugt 38da479ee8 slider: Calculate handle position in whole pixel units ... `-slider-handle-radius` is a floating point value and even in the default theme it's not a whole number. Regardless of the fractional part that's still going to occupy a whole extra pixel with antialiasing. So make room for it. Otherwise it looks clipped, which it is by the Cairo context of its `StDrawingArea`. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1569		2020-02-21 11:29:09 +08:00
..
extensionPrefs	extensionPrefs: Fix more fallout from un-templating strings	2020-02-19 19:29:21 +01:00
gdm	authPrompt: Initialize property in _init()	2020-02-20 19:08:47 +00:00
misc	introspect: Add AnimationsEnabled property	2020-02-20 11:14:55 +00:00
perf	cleanup: Require "dangling" commas	2019-11-11 19:25:14 +00:00
portalHelper	js: Don't use templates in files with translations	2020-02-17 23:20:40 +01:00
ui	slider: Calculate handle position in whole pixel units	2020-02-21 11:29:09 +08:00
js-resources.gresource.xml	swipeTracker: Introduce swipe tracker	2020-01-10 18:20:22 +01:00
meson.build	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml	build: Include params.js in portal-helper gresources	2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml	extensionPrefs: Move description into a expander	2020-02-03 19:11:21 +01:00