Re: [code] Re: Toggle menubar visibility

From: Mitchell <>
Date: Tue, 22 Mar 2016 22:01:58 -0400 (EDT)

Hi Carlos,

On Mon, 21 Mar 2016, Carlos Pita wrote:

> Btw, I found out that ui.menubar = {} partially does the trick, but I would
> like to remove the menu widget entirely (instead of leaving a thin, empty
> menu).

I will commit a change that will be in tonight's nightly build.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Tue 22 Mar 2016 - 22:01:58 EDT

This archive was generated by hypermail 2.2.0 : Wed 23 Mar 2016 - 06:27:43 EDT