Re: [code] Re: Toggle menubar visibility

From: Carlos Pita <>
Date: Tue, 22 Mar 2016 17:14:44 +0000

> the "distraction free"-mode on the wiki does the menu toggling also with
>> ui.menubar and reloading the menu module.
>> Do you get the thin menu as well if you don't load the menu module
>> during startup?
> Yes. In fact, I got the ={} trick from the wiki :).
Sorry, this was confusing, my bad. The thin menu is not there if you don't
load the menu at all, it's just that once loaded it's not possible to
completely hide it again.

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 - 13:14:44 EDT

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