What command does the keyboard shortcut execute? Isn't the extension
configurable (from http://extensions.gnome.org or from the "Tweak Tool" in
the "System Settings")?
- [Trisquel-users] change default file manager in gnome shell freeworld4
- [Trisquel-users] Re : change default file manager in gnome... lcerf
- Re: [Trisquel-users] change default file manager in gnome ... freeworld4