Fabrice Bellet d9bfa16f05 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		2019-05-07 15:21:09 +00:00
..
extensionPrefs	extensionPrefs: Fix pref button appearance	2019-04-12 00:51:44 +02:00
gdm	popupMenu: Make MenuManager to take an actor as parameter	2019-04-17 21:32:18 +00:00
misc	boxpointer: Don't use boxpointer actor, as it's now an actor itself	2019-04-17 21:32:18 +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:21:09 +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