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
|
#-------------------------------------------------------------------------------
#
# Copyright (c) 2007, Enthought, Inc.
# All rights reserved.
#
# This software is provided without warranty under the terms of the BSD
# license included in enthought/LICENSE.txt and may be redistributed only
# under the conditions described in the aforementioned license. The license
# is also available online at http://www.enthought.com/licenses/BSD.txt
#
# Thanks for using Enthought open source!
#
# Author: David C. Morrill
# Date: 03/02/2007
#
#-------------------------------------------------------------------------------
""" Defines an editor for playing animated GIF files.
"""
#-------------------------------------------------------------------------------
# Imports:
#-------------------------------------------------------------------------------
from wx.animate \
import GIFAnimationCtrl
from traits.api \
import Bool, Str
from traitsui.wx.editor \
import Editor
from traitsui.basic_editor_factory \
import BasicEditorFactory
from pyface.timer.api \
import do_after
#-------------------------------------------------------------------------------
# '_AnimatedGIFEditor' class:
#-------------------------------------------------------------------------------
class _AnimatedGIFEditor ( Editor ):
""" Editor that displays an animated GIF file.
"""
#---------------------------------------------------------------------------
# Trait definitions:
#---------------------------------------------------------------------------
# Is the animated GIF file currently playing?
playing = Bool( True )
#---------------------------------------------------------------------------
# Finishes initializing the editor by creating the underlying toolkit
# widget:
#---------------------------------------------------------------------------
def init ( self, parent ):
""" Finishes initializing the editor by creating the underlying toolkit
widget.
"""
self.control = GIFAnimationCtrl( parent, -1 )
self.control.GetPlayer().UseBackgroundColour( True )
self.sync_value( self.factory.playing, 'playing', 'from' )
self.set_tooltip()
#---------------------------------------------------------------------------
# Updates the editor when the object trait changes external to the editor:
#---------------------------------------------------------------------------
def update_editor ( self ):
""" Updates the editor when the object trait changes externally to the
editor.
"""
control = self.control
if self.playing:
control.Stop()
control.LoadFile( self.value )
self._file_loaded = True
# Note: It seems to be necessary to Play/Stop the control to avoid a
# hard wx crash when 'PlayNextFrame' is called the first time (must be
# some kind of internal initialization issue):
control.Play()
control.Stop()
if self.playing or self._not_first:
self._playing_changed()
else:
do_after( 300, self._frame_changed )
self._not_first = True
#---------------------------------------------------------------------------
# Handles the editor 'playing' trait being changed:
#---------------------------------------------------------------------------
def _playing_changed ( self ):
""" Handles the editor 'playing' trait being changed.
"""
if self._file_loaded:
try:
if self.playing:
self.control.Play()
else:
player = self.control.GetPlayer()
player.SetCurrentFrame( 0 )
player.PlayNextFrame()
player.Stop()
except:
pass
#-------------------------------------------------------------------------------
# Create the editor factory object:
#-------------------------------------------------------------------------------
# wxPython editor factory for animated GIF editors:
class AnimatedGIFEditor ( BasicEditorFactory ):
# The editor class to be created:
klass = _AnimatedGIFEditor
# The optional trait used to control whether the animated GIF file is
# playing or not:
playing = Str
|
