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
|
# (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!
"""
This demo shows you how to use animated GIF files in a traits user interface.
Note that this demo only works with wx backend.
"""
from os.path import join, dirname, abspath
from traits.api import HasTraits, File, Bool
from traitsui.api import View, VGroup, HGroup, Item, EnumEditor
from traitsui.wx.animated_gif_editor import AnimatedGIFEditor
# Some sample animated GIF files:
base_path = join(dirname(__file__), 'images')
files = [
abspath(join(base_path, 'logo_64x64.gif')),
abspath(join(base_path, 'logo_48x48.gif')),
abspath(join(base_path, 'logo_32x32.gif')),
]
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',
buttons=['OK'],
)
# Create the demo:
demo = AnimatedGIFDemo()
# Run the demo (if invoked from the command line):
if __name__ == '__main__':
demo.configure_traits()
|
