rewriting DbgTerminal.contents_changed. Much better now
authorStefan Huber <shuber2@gmail.com>
Tue, 10 Jun 2008 21:03:35 +0000 (23:03 +0200)
committerStefan Huber <shuber2@gmail.com>
Tue, 10 Jun 2008 21:03:35 +0000 (23:03 +0200)

No differences found