[ jEdit-users ] keyboard shortcut to hide toolbar and menubar?

[Jose Q. <qu...@gm...>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi jedit-users,

Are there keyboard shortcuts to hide toolbar and menubar? I couldn't
find them.
If these actions are not mappable to keyboard shortcuts, maybe they
could be?

Best,
- -Jose
- --
Jose Quesada, PhD.
Max Planck Institute,
Center for Adaptive Behavior and Cognition -ABC-,
Lentzeallee 94, office 224, 14195 Berlin
http://www.josequesada.name/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iQIcBAEBAgAGBQJKN96FAAoJEGMobUVGH+HKYQ4P/1i7Z9GBKt4UeYkIYKW5p+MA
3D2PZq/q3MDqyN1YQVuAPx5HATGrvz86AFisOhN/bhaFk2pDL5CDzkcZ+/gA56Hk
1dFHDFtbB9kHWj5OEt+VWU3Su3jVCPGg2reRPiOLHcIEtTeO0WD5FczH1XbfnQZO
Vr2p+6bnBQrw10T9phCX/1gpNJ7NH8AWW2D0F3528awnS2kxdnLbwxV4MnmsJbB5
s+vRP8nyLCY81y/gxoggCBiKA4TNITkMYlti/x3Yg+DJ8SaKpBtS9yTOx3QCczrq
UfqVzG8KERIGX7xayAbowHO1uWedwxqFk+KXnc6hyStsrxiBRxws78HpngzliGhm
dBqDVmTo0TMjfqrU7pqvOOAc54kBpbpEutlFZOGH3AceBbST/PdUhL3erHdfpwcp
31Tq5QrUqKuTKSLOgzb29KBGEks/wI9ScvOOx9OQz+DjseYwrAqlIzWQjyewVole
Y2+36L/3KKjR/wDfoVYdULhhmCPd2pzGEahpLabmE/+7dd5ZVT2WUpCRdzZgScyo
lZp2SnlodW3UgoVqztSTqlk21ktVM3JOwTbBM73pOjQ3FEqycUGppxN9zTTKRdOu
usoyaGjzatDt382fkrihLMHbgeV6YzmssbtgaNSMcocPf8ECFf0YeIAS6s58Zk/D
qZkzS505pQeqkLw6WhTM
=Zj4d
-----END PGP SIGNATURE-----