Huw Davies 6174bccfb1 We need to at least refresh the window menu in ChildActivate, so for
now remove the 'is already activated' optimization.
2004-03-09 23:26:18 +00:00
..
2003-12-05 04:45:50 +00:00
2003-11-26 22:29:30 +00:00
2003-11-26 22:29:30 +00:00
2004-01-06 20:40:48 +00:00
2003-11-26 22:29:30 +00:00
2004-03-05 20:44:15 +00:00
2003-11-26 22:29:30 +00:00