Jaime Thomas 86867280b0 Small theme fixes, and a way to change directories with typebuf		2008-09-12 20:13:57 +00:00
..
trunk	Small theme fixes, and a way to change directories with typebuf	2008-09-12 20:13:57 +00:00