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
|
# (C) Copyright 2004-2023 Enthought, Inc., Austin, TX
# All rights reserved.
#
# This software is provided without warranty under the terms of the BSD
# license included in 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!
""" Defines an editor for playing animated GIF files.
"""
from wx.adv import Animation, GenericAnimationCtrl
from traits.api import Bool, Str
from traitsui.wx.editor import Editor
from traitsui.basic_editor_factory import BasicEditorFactory
class _AnimatedGIFEditor(Editor):
"""Editor that displays an animated GIF file."""
# -------------------------------------------------------------------------
# Trait definitions:
# -------------------------------------------------------------------------
#: Is the animated GIF file currently playing?
playing = Bool(True)
def init(self, parent):
"""Finishes initializing the editor by creating the underlying toolkit
widget.
"""
self._animate = Animation(self.value)
self.control = GenericAnimationCtrl(parent, -1, self._animate)
self.control.SetUseWindowBackgroundColour()
self.sync_value(self.factory.playing, "playing", "from")
self.set_tooltip()
def update_editor(self):
"""Updates the editor when the object trait changes externally to the
editor.
"""
if not self.playing:
self.control.Stop()
self.control.LoadFile(self.value)
self._file_loaded = True
if self.playing:
self.control.Play()
def _playing_changed(self):
if self._file_loaded:
if self.playing:
self.control.Play()
else:
self.control.Stop()
# -------------------------------------------------------------------------
# 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()
|
