Package: jed-extra Version: 2.4-1 Severity: normal Hi,
delete_line() moves the editing point down. If you call down_1 than, you
may skip hidden lines. Here is an improved version:
public define delete_hidden_lines()
{
push_spot_bob();
do
while (is_line_hidden())
delete_line();
while (down_1);
pop_spot();
}
Bye, Jörg.
-- System Information:
Debian Release: unstable/experimental
APT prefers unstable
APT policy: (900, 'unstable'), (700, 'experimental')
Architecture: powerpc (ppc)
Kernel: Linux 2.6.23-rc2
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages jed-extra depends on:
ii debconf [debconf-2.0] 1.5.14 Debian configuration management sy
Versions of packages jed-extra recommends:
ii jed 1:0.99.19~pre95-2 editor for programmers (textmode v
ii xjed 1:0.99.19~pre95-3 editor for programmers (x11 versio
-- debconf information excluded
pgpQMMI2V1rky.pgp
Description: PGP signature
