Overview
| Artifact ID: | 4d42c0c1b4c4c4b9754ce2d0afea0a90418ef9e6e12d40db0cf4807a53f47a10 |
|---|---|
| Ticket: | 75a9388f1fc322295561418ebc332df2539c6494
menu: allow user to use the menu margin. |
| User & Date: | bll 2018-09-13 15:58:24 |
Changes
- icomment:
Note that the -hidemargin option is documented as per entry. But in reality, all margins for all entries are hidden. Just fixing this would solve one issue.
- login: "bll"
- mimetype: "text/plain"