Class SymbolWidget
source code
object --+
|
CanvasWidget --+
|
TextWidget --+
|
SymbolWidget
A canvas widget that displays special symbols, such as the negation
sign and the exists operator. Symbols are specified by name. Currently,
the following symbol names are defined: neg
,
disj
, conj
, lambda
,
merge
, forall
, exists
,
subseteq
, subset
, notsubset
,
emptyset
, imp
, rightarrow
,
equal
, notequal
, epsilon
.
Attributes:
-
color
: the color of the text.
-
draggable
: whether the text can be dragged by the user.
|
|
|
|
|
|
string
|
symbol(self)
Returns:
the name of the symbol that is displayed by this symbol widget. |
source code
|
|
Inherited from TextWidget :
__getitem__ ,
__setitem__ ,
set_text ,
text
Inherited from CanvasWidget :
bbox ,
bind_click ,
bind_drag ,
canvas ,
child_widgets ,
destroy ,
height ,
hidden ,
hide ,
manage ,
move ,
moveto ,
parent ,
show ,
tags ,
unbind_click ,
unbind_drag ,
update ,
width
Inherited from object :
__delattr__ ,
__getattribute__ ,
__hash__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__setattr__ ,
__str__
|
|
symbolsheet(size=20)
Open a new Tkinter window that displays the entire alphabet for the
symbol font. |
source code
|
|
|
SYMBOLS = { ' conj ' : ' \xd9 ' , ' disj ' : ' \xda ' , ' emptyset ' : ' \xc6 ' , ...
A dictionary mapping from symbols to the character in the
symbol font used to render them.
|
__init__(self,
canvas,
symbol,
**attribs)
(Constructor)
| source code
|
Create a new symbol widget.
- Parameters:
canvas (Tkinter.Canvas ) - This canvas widget's canvas.
symbol (string ) - The name of the symbol to display.
attribs - The new canvas widget's attributes.
- Overrides:
TextWidget.__init__
|
Change the symbol that is displayed by this symbol widget.
- Parameters:
symbol (string ) - The name of the symbol to display.
|
- Returns:
string
- the name of the symbol that is displayed by this symbol widget.
|
Open a new Tkinter window that displays the entire alphabet for the
symbol font. This is useful for constructing the SymbolWidget.SYMBOLS dictionary.
|
SYMBOLS
A dictionary mapping from symbols to the character in the
symbol font used to render them.
- Value:
{ ' conj ' : ' \xd9 ' ,
' disj ' : ' \xda ' ,
' emptyset ' : ' \xc6 ' ,
' epsilon ' : ' e ' ,
' equal ' : ' = ' ,
' exists ' : ' $ ' ,
' forall ' : ' " ' ,
' imp ' : ' \xde ' ,
...
|
|