Re: TitleWarp MenuStyle option inoperable

2009-05-05 Thread Paul Vojta
On Mon, May 04, 2009 at 12:51:19PM -0700, Paul Vojta wrote: Does anybody know the reason why the change in 2.5.17 was made? It's rather unsatisfying to give a valid reason for a change, and be told, well, there's this other reason for not making the change, and we can't remember what it was,

Re: TitleWarp MenuStyle option inoperable

2009-05-05 Thread Thomas Adam
2009/5/6 Paul Vojta vo...@math.berkeley.edu: On Mon, May 04, 2009 at 12:51:19PM -0700, Paul Vojta wrote: Does anybody know the reason why the change in 2.5.17 was made?  It's rather unsatisfying to give a valid reason for a change, and be told, well, there's this other reason for not making

Re: TitleWarp MenuStyle option inoperable

2009-05-05 Thread Paul Vojta
On Wed, May 06, 2009 at 12:41:22AM +0100, Thomas Adam wrote: 2009/5/6 Paul Vojta vo...@math.berkeley.edu: On Mon, May 04, 2009 at 12:51:19PM -0700, Paul Vojta wrote: Does anybody know the reason why the change in 2.5.17 was made?  It's rather unsatisfying to give a valid reason for a