Ticket #361: 361.patch

extensions/globalkey/viewsource.py

@@ -208 +208 @@
             self.insert(activity_button, -1)
             activity_button.show()
 
-            document_button = RadioToolButton(named_icon='view-radial')
+            document_button = RadioToolButton(named_icon='document')
             document_button.props.tooltip = _('Document')
             document_button.props.group = activity_button
             document_button.connect('toggled', self.__button_toggled_cb, 
@@ -355 +355 @@
         if detected_language is not None:
             logging.debug('Detected language: %r' % \
                     detected_language.get_name())
-
-        self._buffer.set_language(detected_language)
-        self._buffer.set_text(open(self._file_path, 'r').read())
+            
+            self._buffer.set_language(detected_language)
+            self._buffer.set_text(open(self._file_path, 'r').read())
+        else:
+            self._source_view.set_show_line_numbers(False)
+            self._buffer.set_text(_('\n\n    File can not be displayed.'))
 
     def _get_file_path(self):
         return self._file_path