On Sun, Dec 20, 2009 at 11:23 AM, Peter Kümmel <syntheti...@gmx.net> wrote: > Peter Kümmel wrote: >> Pavel Sanda wrote: >>> Peter Kümmel wrote: >>>> If it's really needed I could move it to trunk, would not be very >>>> complicated. >>> yes it would be nice to have it. i even imagine line of checkboxes on the >>> top >>> each for one debug level to toggle - that would be quite useful for >>> debugging >>> purposes. also user reports could be more useful... >> >> I've added a simple version which only shows started and finished command and >> errors in a dock widget. But it could be extended. >> > > Could someone with a Mac check if attached patch is a good solution on a Mac?
Functionally, this works well: LaTeX, etc. runs in the background, with the widget being updated with process messages. I'd prefer to have the process messages cleared for subsequent attempts to typeset rather than simply appended to the end of the previous list, however; otherwise the list gets long and it's hard to tell when one run ended and the next began. Another solution might be to indicate in the list the time that typesetting began, something like this: 9:58 p.m. Process started: pdflatex "filename" Process finished: pdflatex "filename" 10:00 p.m. Process started: ... In terms of Mac aesthetics, drawers seem to be going out of style, replaced instead by floating windows. (Perhaps other Mac users would care to chime in here.) I think that's what makes most sense not only here but also in other cases. In particular: 1. Document > Outline should not be a drawer but floating window. 2. Anything that uses a vertical dock should be a floating widget. This includes such things as the spellcheck widget and the advanced find and replace widget, but *not* the view source widget. (It probably would make sense to allow floating widgets to dock if someone wanted to do that, but the default on Mac should be to have them float.) That goes beyond what you're asking here. Should I file a bug report on these other cases so as not to hijack this thread? Bennett
