Re: [PATCH] x11/wmii for dmenu changes

2015-11-12 Thread Stuart Henderson
On 2015/11/11 20:46, trondd wrote: > On Wed, November 11, 2015 5:16 am, Joerg Jung wrote: > > On Mon, Nov 09, 2015 at 09:21:03PM -0500, trondd wrote: > >> Patched the config/rc scripts to maintain the existing default font when > >> using the new dmenu. > > > > The patch does not apply cleanly here

Re: [PATCH] x11/wmii for dmenu changes

2015-11-11 Thread trondd
On Wed, November 11, 2015 5:16 am, Joerg Jung wrote: > On Mon, Nov 09, 2015 at 09:21:03PM -0500, trondd wrote: >> Patched the config/rc scripts to maintain the existing default font when >> using the new dmenu. > > The patch does not apply cleanly here. > However it looks right, though I'm not a wm

Re: [PATCH] x11/wmii for dmenu changes

2015-11-11 Thread Joerg Jung
On Mon, Nov 09, 2015 at 09:21:03PM -0500, trondd wrote: > Patched the config/rc scripts to maintain the existing default font when > using the new dmenu. The patch does not apply cleanly here. However it looks right, though I'm not a wmii user. > Tim. > > > Index: Makefile > ===

[PATCH] x11/wmii for dmenu changes

2015-11-09 Thread trondd
Patched the config/rc scripts to maintain the existing default font when using the new dmenu. Tim. Index: Makefile === RCS file: /cvs/ports/x11/wmii/Makefile,v retrieving revision 1.20 diff -u -p -r1.20 Makefile --- Makefile16 F