public
Description: Google's Webkit, ported to Python, ported to Desktops.
Homepage: http://lkcl.net/pyjamas-desktop
Clone URL: git://github.com/lkcl/pyjamas-desktop.git
100644 134 lines (98 sloc) 4.521 kb
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
""" Control Widgets. Presently comprises a Vertical Slider Demo.
 
Copyright (C) 2008 - Luke Kenneth Casson Leighton <lkcl@lkcl.net>
 
"""
 
from pyjamas import DOM
from pyjamas.ui import FocusWidget, MouseListener, Event
 
class VerticalDemoSlider(FocusWidget):
 
    def __init__(self, min_value, max_value, start_value=None):
 
        element = DOM.createDiv()
        FocusWidget.__init__(self, element)
 
        self.min_value = min_value
        self.max_value = max_value
        if start_value is None:
            start_value = min_value
        self.value = start_value
        self.valuechange_listeners = []
        
        DOM.setStyleAttribute(element, "position", "relative")
        DOM.setStyleAttribute(element, "overflow", "hidden")
 
        self.handle = DOM.createDiv()
        DOM.appendChild(element, self.handle)
 
        DOM.setStyleAttribute(self.handle, "border", "1px")
        DOM.setStyleAttribute(self.handle, "width", "100%")
        DOM.setStyleAttribute(self.handle, "height", "10px")
        DOM.setStyleAttribute(self.handle, "backgroundColor", "#808080")
 
        self.addClickListener(self)
 
    def onClick(self, sender, event):
 
        # work out the relative position of cursor
        mouse_y = DOM.eventGetClientY(event) - \
                   DOM.getAbsoluteTop(sender.getElement())
        self.moveSlider(mouse_y)
 
    def moveSlider(self, mouse_y):
 
        relative_y = mouse_y - DOM.getAbsoluteTop(self.getElement())
        widget_height = self.getOffsetHeight()
 
        # limit the position to be in the widget!
        if relative_y < 0:
            relative_y = 0
        height_range = widget_height - 10 # handle height is hard-coded
        if relative_y >= height_range:
            relative_y = height_range
 
        # move the handle
        DOM.setStyleAttribute(self.handle, "top", "%dpx" % relative_y)
        DOM.setStyleAttribute(self.handle, "position", "absolute")
 
        val_diff = self.max_value - self.min_value
        new_value = ((val_diff * relative_y) / height_range) + self.min_value
        self.setValue(new_value)
 
    def setValue(self, new_value):
 
        old_value = self.value
        self.value = new_value
        for listener in self.valuechange_listeners:
            listener.onControlValueChanged(self, old_value, new_value)
 
    def addControlValueListener(self, listener):
        self.valuechange_listeners.append(listener)
 
    def removeControlValueListener(self, listener):
        self.valuechange_listeners.remove(listener)
 
class VerticalDemoSlider2(VerticalDemoSlider):
 
    def __init__(self, min_value, max_value, start_value=None):
 
        VerticalDemoSlider.__init__(self, min_value, max_value, start_value)
        self.mouseListeners = []
        self.addMouseListener(self)
        self.sinkEvents(Event.MOUSEEVENTS)
        self.dragging = False
 
        DOM.addEventPreview(self)
 
    def addMouseListener(self, listener):
        self.mouseListeners.append(listener)
 
    def removeMouseListener(self, listener):
        self.mouseListeners.remove(listener)
 
    def onBrowserEvent(self, event):
        type = DOM.eventGetType(event)
        if type == "mousedown" or type == "mouseup" or type == "mousemove" or type == "mouseover" or type == "mouseout":
            MouseListener().fireMouseEvent(self.mouseListeners, self, event)
        else:
            VerticalSliderDemo.onBrowserEvent(self, event)
 
    def onEventPreview(self, event):
        # preventDefault on mousedown events, outside of the
        # dialog, to stop text-selection on dragging
        type = DOM.eventGetType(event)
        print "onEventPreview", event, type
        if type == 'mousedown':
            target = DOM.eventGetTarget(event)
            event_targets_control = target and DOM.isOrHasChild(self.getElement(), target)
            print "onEventPreview", target, event_targets_control
            if event_targets_control:
                DOM.eventPreventDefault(event)
        return VerticalSliderDemo.onEventPreview(self, event)
 
    def onMouseMove(self, sender, x, y):
        if not self.dragging:
            return
        self.moveSlider(y)
        
    def onMouseDown(self, sender, x, y):
        self.dragging = True
        DOM.setCapture(self.getElement())
        self.moveSlider(y)
 
    def onMouseUp(self, sender, x, y):
        self.dragging = False
        DOM.releaseCapture(self.getElement())
 
    def onMouseEnter(self, sender):
        pass
    def onMouseLeave(self, sender):
        pass