1. 2003-11-01 [Knode-devel] [Bug 56520] knode sometimes gets highlighting of knode-devel Roberto Teixeira 2. 2003-11-01 [Knode-devel] [Bug 56520] knode sometimes gets highlighting of knode-devel David Walser