Marco Pesenti Gritti 1be27d4b4a Console fixes		2007-09-30 23:47:16 +02:00
..
__init__.py	Make the Shell own the console. Some view changes.	2007-09-30 14:24:03 +02:00
console.py	Console fixes	2007-09-30 23:47:16 +02:00
logviewer.py	Display logs depending on the context	2007-09-30 23:34:23 +02:00