On Thursday 19 September 2002 12:59, Jean-Marc Lasgouttes wrote: > > For example, the use of layouts (a flat thing) and depth to nest > environments is great. Of course, as it is now, it causes problems > (like two consecutive theorems), but this is something that can be > solved with enough thought. The ``theoretical'' approach of "let > everything be an inset that can be inserted anywhere" just sucks when > you actually want to write a document.
What you are saying is that they didn't had enough care for the UI. Regarding the font as inset we could have something like a special mode where you could see the boundaries and the standard one where you don't need to see them. This could please both. To revert the font change we only need to put the inset away and leave the content. Something that Lars called "merging" and that I sometimes miss when I want to dissolve some inset. The question for me is what (and when) we show and what (when) we hide, this is our chalenge. Take the ert as an example, using several choices we let the user see what is important, although when we are editing we see the all detail. (I hope you get the idea.) > JMarc -- José Abílio
