|
widgets
|
Implement widget for TreeDisplay
|
2019-06-08 09:10:59 +00:00 |
|
__init__.py
|
Move config to main package
|
2019-06-08 09:10:59 +00:00 |
|
config.py
|
Move config to main package
|
2019-06-08 09:10:59 +00:00 |
|
element.py
|
Remove obsolete attributes
|
2019-06-08 09:10:59 +00:00 |
|
element_supply.py
|
Fix drawing of non-top-level anchors
|
2019-06-08 09:10:59 +00:00 |
|
exceptions.py
|
Reorganize files
|
2019-06-08 09:10:59 +00:00 |
|
markup.py
|
Fix AttributedText types
|
2019-06-08 09:10:59 +00:00 |
|
tree_display.py
|
Fix drawing of non-top-level anchors
|
2019-06-08 09:10:59 +00:00 |
|
tree_list.py
|
Fix adding initial tree
|
2019-06-08 09:10:59 +00:00 |
