Fabrice Bellet 2d9ed18668 network: Handle interface name changes ... The interface name when a device is added may not be the final one. For example when using USB tethering, it will first appear as 'usb0' before being renamed to something like 'enp0s20f0u1' depending on the port the phone is plugged in. As a result, we will ignore the new interface name in that case and fail to associate the correct connection with the device: Instead of the correct "USB Ethernet" (or user-customized name), it will show up as "Ethernet". Fix this by updating names and connections when a device's interface property changes. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/534 (cherry picked from commit d9bfa16f05)		2019-05-07 15:22:39 +00:00
..
extensionPrefs	extensionPrefs: Fix pref button appearance	2019-04-12 00:51:44 +02:00
gdm	loginDialog: Load logo file texture given resource scale	2019-03-01 17:12:53 +00:00
misc	weather: Handle missing permission store	2019-04-03 13:27:42 +00:00
perf	perf: Stop using GTK	2019-04-11 17:27:50 +00:00
portalHelper	cleanup: Use destructuring for imports from GI	2019-02-09 07:39:20 +01:00
ui	network: Handle interface name changes	2019-05-07 15:22:39 +00:00
js-resources.gresource.xml	build: Remove remote menu support	2019-02-06 18:29:15 +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	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00