diff options
author | Julio Reyes <nemesiscodex@gmail.com> | 2013-07-03 15:05:04 (GMT) |
---|---|---|
committer | Julio Reyes <nemesiscodex@gmail.com> | 2013-07-03 15:05:04 (GMT) |
commit | 898746bc175b9235d66e6119af33d2aa5eef2054 (patch) | |
tree | 25c4e3265bf0201e4db6c446a08532e118f358c4 | |
parent | ba9b40f3889ab9356db4024305c9cbe0983f7e06 (diff) |
fix a minor bug
-rw-r--r-- | src/jarabe/journal/palettes.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/jarabe/journal/palettes.py b/src/jarabe/journal/palettes.py index 8fc1e5d..10e88ba 100644 --- a/src/jarabe/journal/palettes.py +++ b/src/jarabe/journal/palettes.py @@ -206,6 +206,8 @@ class CopyMenu(gtk.Menu): volume_monitor = gio.volume_monitor_get() icon_theme = gtk.icon_theme_get_default() for mount in volume_monitor.get_mounts(): + if not hasattr(mount.get_icon().props, 'names'): + continue if self._metadata['mountpoint'] == mount.get_root().get_path(): continue volume_menu = VolumeMenu(self._metadata, mount.get_name(), |