Jonas Dreßler 2156577333 slider: Unset signal IDs when ending the slider drag ...

Unset the signal IDs we connected to when starting the drag. Otherwise
we get error messages if a touch drag is ended after a mouse drag
happened because the signal IDs are still set but no signals are
connected.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/740

2019-09-22 22:20:41 +00:00

..

extensionPrefs

cleanup: Use consistent brace style of blocks

2019-09-15 16:02:45 +02:00

gdm

loginDialog: Stop using deprecated actor property

2019-09-20 16:58:00 +00:00

misc

introspect: Check whitelist also for GetRunningWindows()

2019-09-18 16:17:25 +00:00

perf

cleanup: Disambiguate assignments in arrow functions

2019-09-15 16:02:45 +02:00

portalHelper

cleanup: Mark globals used from other modules as exported

2019-07-24 00:28:45 +02:00

ui

slider: Unset signal IDs when ending the slider drag

2019-09-22 22:20:41 +00:00

js-resources.gresource.xml

accessibility: Add pointer accessibility support

2019-06-06 09:13:29 +02: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

build: Use dedicated resources for helper programs

2018-08-14 17:28:04 +00:00