Hi, Few questions related to the menu layout in default.ui: 1) What is the difference between "Item" and "OptItem"? 2) The CVS version has an entry for Noweb as follows: Item "Noweb|N" "buffer-import literate" Shouldn't "literate" be replace by "noweb" ? 3) Wouldn't a new, better menu layout be desirable with the release of 1.1.6? Regards, Rob.
- Re: questions on default.ui R. Lahaye
- Re: questions on default.ui Jean-Marc Lasgouttes