On Wed, Jan 06, 2010 at 09:21:00PM +0000, Thomas Adam wrote: > On Wed, Jan 06, 2010 at 01:17:20PM -0800, Paul Vojta wrote: > > On Sat, Jan 02, 2010 at 03:50:48PM +0000, Thomas Adam wrote: > > > All, > > > > > > Are there any outstanding bug-fixes which haven't yet been looked into, > > > but > > > were at one point reported to this list? > > > > Here's a bug (which I don't think has been reported yet): > > It was: > > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=387554
Ah, yes, I see it was. Just as a clarification, though, the bug that I'm reporting here was mentioned in messages #24 and 27 in that bug report. The main topic of bug #387554, though, was "MenuStyle * TitleWarp", not WarpTitle, and the comment at the end about it being a feature request refers to TitleWarp (the MenuStyle option), not WarpTitle (the Menu option). --Paul Vojta, [email protected]
