From: Peter G. <pe...@ar...> - 2003-05-23 19:25:54
|
This morning's development snapshot (j 0.18.1.18, lisp 0.0.0.31) is up: http://armedbear-j.sf.net/j.zip (source) http://armedbear-j.sf.net/j-jar.zip (just j.jar) Note that these files are on SourceForge, rather than armedbear.org; the armedbear.org web hosting folks are having a bit of trouble this morning. This snapshot fixes a couple of folding-related bugs and makes a few more improvements in the Java debugger. In particular, the following code is now folded correctly, or at least plausibly, no matter where you are when you do Ctrl [ (within reason): #!/usr/bin/perl if (1) { print 1; } else { print 0; } print $/; (In previous versions, the blank lines introduced some confusion.) The Java debugger now does a better job of formatting the transcript buffer, making it easier to tell when the debuggee VM is suspended (which means there will be no more action until you do something). Except for documentation updates (and maybe fixing a little issue with menu mnemonics under Java 1.4.2-beta), this snapshot is more or less a release candidate for 0.19.0. Thanks for your support. -Peter |
From: Berthold <b.t...@gm...> - 2003-05-24 09:25:58
|
Hi Peter! Peter Graves wrote: > Except for documentation updates (and maybe fixing a little issue with > menu mnemonics under Java 1.4.2-beta), this snapshot is more or less a > release candidate for 0.19.0. Wouldn't it be nice to see a colored headline (background) of a folded ar= ea? --=20 Viele Gr=FC=DFe Berthold |
From: Peter G. <pe...@ar...> - 2003-05-26 02:52:35
|
On Sat, 24 May 2003 at 11:32:13 +0200, Berthold wrote: > Wouldn't it be nice to see a colored headline (background) of a > folded area? Maybe so... This is one of the presentation issues I alluded to in an earlier mail message. It would be pretty trivial to do just this one thing, and provide a themable background color for the first line of a folded area. But I rather like the way jEdit does this, putting "[12 lines]" (or whatever) in a distinctive format at the end of folded line. Since this added text doesn't really exist in the buffer, jEdit doesn't let you move the caret into it or click into it with the mouse, but the rest of the line remains editable. A very nice implementation. So I'd like to defer this issue until after 0.19.0 is released, since doing it the right way (if you agree that jEdit has got it right) is going to require a bit of work, and I'd rather not destabilize things at this point. (Feel free to remind me about this if I seem to forget about it later.) -Peter |