Joscha c676d71a61 Improve UI ... - text no longer jumps around when an error message is displayed - you can only type valid room names - esc exits the application		2019-06-08 09:10:59 +00:00
..
euphoria	Improve UI	2019-06-08 09:10:59 +00:00
widgets	Implement widget for TreeDisplay	2019-06-08 09:10:59 +00:00
__init__.py	Add AttributedTextWidget	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