Thomas Kraus
-
2007-07-09
- summary: update outline and properties view upon editor selection --> update outline selection / properties sheet