Files
gnome-shell-extensions/extensions
Christian Kellner c82f8a995b places-menu: report errors for mounting of volumes
When launching an application for an uri we detect the case that
the volume is not mounted and try to mount it. If this fails we
don't report any error, so there is no feedback for the user.
2017-04-28 15:14:59 +02:00
..