This file is indexed.

/usr/lib/python2.7/dist-packages/PythonCard/components/checkbox.py is in python-pythoncard 0.8.2-5.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
"""
__version__ = "$Revision: 1.19 $"
__date__ = "$Date: 2004/05/13 02:40:24 $"
"""

import wx
from PythonCard import event, widget

class CheckBoxMouseClickEvent(event.MouseClickEvent):
    binding = wx.EVT_CHECKBOX
    id = wx.wxEVT_COMMAND_CHECKBOX_CLICKED

CheckBoxEvents = (CheckBoxMouseClickEvent,)

class CheckBoxSpec(widget.WidgetSpec):
    def __init__(self):
##        events = [event.MouseClickEvent ]
        events = list(CheckBoxEvents)
        attributes = {
            'label' : { 'presence' : 'optional', 'default':'CheckBox' },
            'checked' : { 'presence' : 'optional', 'default' : 0 } }
        widget.WidgetSpec.__init__(self, 'CheckBox', 'Widget', events, attributes )


class CheckBox(widget.Widget, wx.CheckBox):
    """
    A check box.
    """

    _spec = CheckBoxSpec()

    def __init__( self, aParent,  aResource ) :
        wx.CheckBox.__init__(
            self,
            aParent, 
            widget.makeNewId(aResource.id),
            aResource.label, 
            aResource.position, 
            aResource.size,
            style = wx.CLIP_SIBLINGS | wx.NO_FULL_REPAINT_ON_RESIZE,
            name = aResource.name 
            )

        widget.Widget.__init__( self, aParent, aResource)

        if aResource.checked:
            self.SetValue(True)

        self._bindEvents(event.WIDGET_EVENTS + CheckBoxEvents)
    
    checked = property(wx.CheckBox.GetValue, wx.CheckBox.SetValue)
    label = property(wx.CheckBox.GetLabel, wx.CheckBox.SetLabel)


import sys
from PythonCard import registry
registry.Registry.getInstance().register(sys.modules[__name__].CheckBox)