11 Feb
2008
11 Feb
'08
1:55 a.m.
On Sun, Feb 10, 2008 at 08:57:28PM +0000, David Chanters wrote:
hi,
is it meant to be the case when using all the Decoration stuff from darcs that it vreaks the dynamiclog? i now don't get the window name updates if windows have decoration.
sorry but I do not see any relationship between the decoration stuff and DynamicLog. The first did/does not touch the second, and everything is working fine here. Moreover this is the first report in this sense. Can you please elaborate a bit? Andrea