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
|
# (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!
""" Traits UI 'display only' LED numeric editor.
"""
from wx.gizmos import (
LEDNumberCtrl,
LED_ALIGN_LEFT,
LED_ALIGN_CENTER,
LED_ALIGN_RIGHT,
)
from traits.api import Enum
from traitsui.wx.editor import Editor
from traitsui.basic_editor_factory import BasicEditorFactory
# LED alignment styles:
LEDStyles = {
"left": LED_ALIGN_LEFT,
"center": LED_ALIGN_CENTER,
"right": LED_ALIGN_RIGHT,
}
class _LEDEditor(Editor):
"""Traits UI 'display only' LED numeric editor."""
def init(self, parent):
"""Finishes initializing the editor by creating the underlying toolkit
widget.
"""
self.control = LEDNumberCtrl(parent, -1)
self.control.SetAlignment(LEDStyles[self.factory.alignment])
self.set_tooltip()
def update_editor(self):
"""Updates the editor when the object trait changes externally to the
editor.
"""
self.control.SetValue(self.str_value)
# -------------------------------------------------------------------------
# Create the editor factory object:
# -------------------------------------------------------------------------
# wxPython editor factory for LED editors:
class LEDEditor(BasicEditorFactory):
#: The editor class to be created:
klass = _LEDEditor
#: The alignment of the numeric text within the control:
alignment = Enum("right", "left", "center")
|
