Ticket #1775: protect-view-source.patch

File protect-view-source.patch, 934 bytes (added by rgs, 14 years ago)

  • src/jarabe/view/viewsource.py 

    diff --git a/src/jarabe/view/viewsource.py b/src/jarabe/view/viewsource.py
index 9619ed1..9905713 100644
    a b class Toolbar(gtk.Toolbar): 
    266266    def __init__(self, title, bundle_path, document_path):
    267267        gtk.Toolbar.__init__(self)
    268268
     269        document_button = None
     270
    269271        self._add_separator()
    270272
    271273        activity_bundle = ActivityBundle(bundle_path)
    … … class Toolbar(gtk.Toolbar): 
    287289                        stroke_color=style.COLOR_WHITE.get_svg())
    288290            activity_button.set_icon_widget(icon)
    289291            icon.show()
    290             if document_path is not None:
     292            if document_button is not None:
    291293                activity_button.props.group = document_button
    292294            activity_button.props.tooltip = _('Activity Bundle Source')
    293295            activity_button.connect('toggled', self.__button_toggled_cb,