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
|
#--(Animated GIF Editor)--------------------------------------------------
"""
Animated GIF Editor
===================
In Traits 3.0, a new **AnimatedGIFEditor** has been added to the Traits UI
package. The purpose of the editor is to allow inclusion of simple animated
graphics into a traits UI via the use of animated GIF files.
The traits supported by the **AnimatedGIFEditor** editor are as follows:
playing
A string that specifies the extended name of a trait that specifies whether
the animated GIF file is playing or not. If not specified, the default is to
play the animated GIF file endlessly.
The value associated with **AnimatedGIFEditor** should be the name of the
animated GIF image file to be displayed. No user editing of the value is
provided by this editor, it is display only.
"""
#--[Imports]--------------------------------------------------------------
from __future__ import absolute_import
from os.path \
import join, dirname
from traits.api \
import HasTraits, File, Bool, Int
from traitsui.api \
import View, VGroup, HGroup, Item, EnumEditor
from traitsui.wx.animated_gif_editor \
import AnimatedGIFEditor
#--[Setup]----------------------------------------------------------------
# Some sample animated GIF files:
import traitsui as ui
base_path = join(dirname(ui.__file__), 'demo', 'Extras', 'images')
# Get the names of the animated GIF files that can be displayed:
files = [
join(base_path, 'logo_64x64.gif'),
join(base_path, 'logo_48x48.gif'),
join(base_path, 'logo_32x32.gif')
]
#--[AnimatedGIFDemo Class]------------------------------------------------
class AnimatedGIFDemo(HasTraits):
# The animated GIF file to display:
gif_file = File(files[0])
# Is the animation playing or not?
playing = Bool(True)
# The traits view:
view = View(
VGroup(
HGroup(
Item('gif_file',
editor=AnimatedGIFEditor(playing='playing'),
show_label=False),
Item('playing'),
),
'_',
Item('gif_file',
label='GIF File',
editor=EnumEditor(values=files)
)
),
title='Animated GIF Demo',
resizable=True,
buttons=['OK']
)
#--<Example*>-------------------------------------------------------------
demo = AnimatedGIFDemo()
|
