Menus may now be shaded like other windows by double clicking on their title
bars. Note that, even if animations are enabled, the shade animation seen
with other windows does not work for menus.
This fixes Debian bug #72038 [1]:
From: Chris Pimlott
Subject: wmaker: Persistant menus should b
---
src/menu.h | 138 ++---
1 file changed, 69 insertions(+), 69 deletions(-)
diff --git a/src/menu.h b/src/menu.h
index 45525eb..e568a7e 100644
--- a/src/menu.h
+++ b/src/menu.h
@@ -30,76 +30,76 @@
#define MI_SHADED 4
typedef struc
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project wmaker-crm.git.
The branch, next has been updated
via ac33bb9d1b52def5bc9b8349010e208a7c850e22 (commit)
via 563cda28d36fad44d
On 01/20/2016 08:24 AM, Carlos R. Mafra wrote:
After reading the bug report (please in the future add the relevant
bits of the bug report in the commit message as well, it's much more
convenient than hunting the bug in debian's website) I think that
your patch makes sense for the situation descri
On Tue, 19 Jan 2016 at 23:02:22 -0500, Doug Torrance wrote:
> On 01/18/2016 10:21 PM, Carlos R. Mafra wrote:
> > On Mon, 18 Jan 2016 at 20:52:17 -0500, Doug Torrance wrote:
> >> This is Debian bug #181735.
> >
> > A ready-to-click link to the bug report would be more useful.
>
> Sorry about that!
